diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 11:14:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 11:14:40 -0700 |
| commit | 4a9152d0e1af415b7890b9a501b989b6472dbac8 (patch) | |
| tree | 5590482e4216142c5914f50f6410348e1ca01280 /src/base/main | |
| parent | 942600414dba2e32bf2529517e17eaee5991d29c (diff) | |
| download | abc-4a9152d0e1af415b7890b9a501b989b6472dbac8.tar.gz abc-4a9152d0e1af415b7890b9a501b989b6472dbac8.tar.bz2 abc-4a9152d0e1af415b7890b9a501b989b6472dbac8.zip | |
Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim' in verification applications).
Diffstat (limited to 'src/base/main')
0 files changed, 0 insertions, 0 deletions