diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-12-03 18:48:26 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-12-03 18:48:26 -0800 |
commit | b7176ee3e52c5068d93abd898be0639f9a648230 (patch) | |
tree | aa0ab4c4dd1c3fa73c50836a1ce22de2d2d8a68e /src/opt | |
parent | 03b9f41786b59f90b1513e9436ec3e1082f80cb3 (diff) | |
download | abc-b7176ee3e52c5068d93abd898be0639f9a648230.tar.gz abc-b7176ee3e52c5068d93abd898be0639f9a648230.tar.bz2 abc-b7176ee3e52c5068d93abd898be0639f9a648230.zip |
Adding command-line switch 'testnpn -A 12' for P-only canonical form computation.
Diffstat (limited to 'src/opt')
-rw-r--r-- | src/opt/dau/dauCanon.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 89359611..dd954d9a 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -1027,7 +1027,7 @@ int Abc_TtCofactorPerm( word * pTruth, int i, int nWords, int fSwapOnly, char * SeeAlso [] ***********************************************************************/ -#define CANON_VERIFY +//#define CANON_VERIFY unsigned Abc_TtCanonicize( word * pTruth, int nVars, char * pCanonPerm ) { int pStoreIn[17]; |