Changeset 99 for vis_dev/vis-2.3/models/transition/script

Timestamp:

Jul 15, 2012, 2:16:13 PM (12 years ago)

Author:

cecile

Message:

test for cex

File:

• vis_dev/vis-2.3/models/transition/script (modified) (1 diff)

vis_dev/vis-2.3/models/transition/script

@@ -1 @@
-rlmv simple.mv
+rlmv compostion.mv
 init
-compute_reach -v 1 
-_transition -v 1
+_cexbdd