Changeset 41 for vis_dev/vis-2.3/models/debug/test.script
- Timestamp:
- Jan 10, 2012, 6:51:23 PM (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
vis_dev/vis-2.3/models/debug/test.script
r40 r41 1 rlmv and2.mv1 rlmv new_and.mv 2 2 init 3 3 _createAbn 4 4 aig 5 _sat_debug -k 1 -p and2.ltl -o and2_prop.cnf -v 15 _sat_debug -k 1 -v 1 -o new_and_prop.cnf and2.ltl
Note: See TracChangeset
for help on using the changeset viewer.