source:
vis_dev/vis-2.3/models/debug/test.script
@
38
Last change on this file since 38 was 38, checked in by , 12 years ago | |
---|---|
File size: 87 bytes |
Rev | Line | |
---|---|---|
[38] | 1 | rlmv and2.mv |
[33] | 2 | init |
[38] | 3 | #_createAbn |
4 | aig | |
5 | _sat_debug -k 1 -p and2.ltl -o and2_prop.cnf -v 1 |
Note: See TracBrowser
for help on using the repository browser.