Changeset 40 for vis_dev/vis-2.3/models/debug

Timestamp:

Jan 8, 2012, 5:12:00 PM (13 years ago)

Author:

cecile

Message:

abnormal structure in network

File:

• vis_dev/vis-2.3/models/debug/test.script (modified) (1 diff)

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

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