diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 14:09:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 14:09:39 -0700 |
| commit | b08aca5c1e0bece41e138eda6b0d1dbd616aeae6 (patch) | |
| tree | 372041b609de5516b2fab7be982b3c36791dfba6 /arch_flags.c | |
| parent | 05f51cbb2ad3856916325a4322401fe0d8fde408 (diff) | |
| download | abc-b08aca5c1e0bece41e138eda6b0d1dbd616aeae6.tar.gz abc-b08aca5c1e0bece41e138eda6b0d1dbd616aeae6.tar.bz2 abc-b08aca5c1e0bece41e138eda6b0d1dbd616aeae6.zip | |
Make switches -d (-m) by default dump abstracted model (miter with abstraction map) into files whose names are derived from the names of the input file by adding _abs (_gla).
Diffstat (limited to 'arch_flags.c')
0 files changed, 0 insertions, 0 deletions