Changeset 38 for vis_dev/vis-2.3/src/bmc

Timestamp:

Jan 8, 2012, 3:30:01 PM (13 years ago)

Author:

cecile

Message:

first attempt debug with ltl formula

File:

• vis_dev/vis-2.3/src/bmc/bmcBmc.c (modified) (1 diff)

vis_dev/vis-2.3/src/bmc/bmcBmc.c

@@ -1817 +1817 @@
         if (rightValue == 0){
           break;
-        }
+         }
         if(fairness){
           Ctlsp_Formula_t *formula;