Changeset 99 for vis_dev

Timestamp:

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

Author:

cecile

Message:

test for cex

Location:

vis_dev/vis-2.3/models/transition

Files:

• cex.ctl (added)
• cex.v (added)
• compostion.v (added)
• modele.v (added)
• 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