Context Navigation

test_bmc @ 15

Last change on this file since 15 was 11, checked in by cecile, 14 years ago
Add vis
File size: 209 bytes

Line
1	read_blif_mv counter.mv
2	flatten_hierarchy
3	static_order
4	build_partition_mdds
5	set_init -v 1
6	robustness -v 1
7	build_partition_maigs
8	conv_bdd_cnf counter.ctl
9	quit -s
10	bounded_model_check -m 4 -k 10 -v 1 test.prop

Note: See TracBrowser for help on using the repository browser.