![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
source:
caseStudy_Huffmann/huffmann/huff_with_env/script
| Last change on this file was 105, checked in by , 12 years ago | |
|---|---|
| File size: 142 bytes | |
| Rev | Line | |
|---|---|---|
| [105] | 1 | rlmv rob_composition.mv |
| 2 | init | |
| 3 | dynamic_var_ordering -e sift | |
| 4 | read_fairness huff.fair | |
| 5 | set_init -v 1 -m usut -g protect_golden.reg | |
| 6 | robustness -v 1 |
Note: See TracBrowser
for help on using the repository browser.
