source: cegar_dev/cegar/abstract_model/machine_concret.fair @ 61

Last change on this file since 61 was 4, checked in by syed, 14 years ago

input files added
File size: 31 bytes
Line 
1machine_concret1.m_state = S3;
Note: See TracBrowser for help on using the repository browser.