source: vis_dev/vis-2.3/models/debug/test.script @ 39

Last change on this file since 39 was 38, checked in by cecile, 13 years ago

first attempt debug with ltl formula

File size: 87 bytes
Line 
1rlmv and2.mv
2init
3#_createAbn
4aig
5_sat_debug  -k 1 -p and2.ltl -o and2_prop.cnf -v 1 
Note: See TracBrowser for help on using the repository browser.