diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-09-28 16:27:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-09-28 16:27:39 -0700 |
| commit | 4f0f2e09f84b66c1ed9a842a71a09f2f1ec65588 (patch) | |
| tree | ecd646bd842662c7c4d165b3f2e7358c0d752c2b /arch_flags.c | |
| parent | ca93730781ac2a6559e16a6203786073b1cbd514 (diff) | |
| download | abc-4f0f2e09f84b66c1ed9a842a71a09f2f1ec65588.tar.gz abc-4f0f2e09f84b66c1ed9a842a71a09f2f1ec65588.tar.bz2 abc-4f0f2e09f84b66c1ed9a842a71a09f2f1ec65588.zip | |
Adding flag 'pdr -e' to output only support variables in the invariant.
Diffstat (limited to 'arch_flags.c')
0 files changed, 0 insertions, 0 deletions