source: vis_dev/vis-2.3/models/arbiter/arbiter.script

Last change on this file was 28, checked in by cecile, 13 years ago

exemples de test
File size: 58 bytes
Line 
1rlmv models/arbiter/arbiter.mv
2init
3set_init -v 1 -m usut
Note: See TracBrowser for help on using the repository browser.