Changeset 38 for vis_dev/vis-2.3/models/debug/test.script

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/models/debug/test.script (modified) (1 diff)

vis_dev/vis-2.3/models/debug/test.script

@@ -1 @@
-rlmv %:2.mv
+rlmv and2.mv
 init
-_createAbn
-#aig
-#_sat_debug -v 1 -k 1 -o %:2.cnf
-
+#_createAbn
+aig
+_sat_debug  -k 1 -p and2.ltl -o and2_prop.cnf -v 1