source: vis_dev/vis-2.3/models/transition/cex.ctl @ 99

Last change on this file since 99 was 99, checked in by cecile, 12 years ago

test for cex
File size: 91 bytes
Line 
1(((cex.state[2:0] = 7  * cex.s2 = 1 ) )  * S.state[1:0] = 0)  *
2EX( S.state[1:0] = 1 ) ;
Note: See TracBrowser for help on using the repository browser.