fixed a strange error when NDEBUG

gaperez64 · Jun 21, 2016 · 642e81b · 642e81b
1 parent 23b2340
commit 642e81b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/build.sh b/build.sh
@@ -7,5 +7,5 @@ make objlib
 cd ..
 make
 cd ..
-mkdir ${DIR}binary
+mkdir -p ${DIR}binary
 cp ${DIR}source/abssynthe ${DIR}binary/abssynthe
diff --git a/source/algos.cpp b/source/algos.cpp
@@ -496,7 +496,7 @@ static bool internalSolveAbstract(Cudd* mgr, BDDAIG* spec, const BDD* cpre_init,
         if (settings.out_file != NULL) {
             dbgMsg("Starting synthesis");
             finalizeSynth(mgr, spec, 
-                          synthAlgo(mgr, spec, ~bad_transitions, mayWin));
+                          synthAlgo(mgr, spec, ~bad_transitions, clean_winning_region));
         }
         if (settings.win_region_out_file != NULL) {
             dbgMsg("Starting output of winning region");
@@ -670,8 +670,9 @@ static bool internalSolveExact(Cudd* mgr, BDDAIG* spec, const BDD* upre_init,
 #ifndef NDEBUG
         // we can check that the bdd represents an inductive winning region as
         // follows
+        BDD temp_bad_trans;
         assert(((~clean_winning_region |
-                 upre(spec, ~clean_winning_region, bad_transitions)) &
+                 upre(spec, ~clean_winning_region, temp_bad_trans)) &
                 clean_winning_region) == ~mgr->bddOne());
 #endif
         // let us clean the AIG before we start introducing new stuff