diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-10-27 17:36:29 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-10-27 17:36:29 -0700 |
| commit | a8c04614ad34b4a36c1c739f8838fe4fd6232720 (patch) | |
| tree | 73c080b032638d7e046f7e1d18d5fa7a2273c181 /Test/inline/runtest.bat | |
| parent | 51fe0a74abb863a3bb908e6fced5b9779446d065 (diff) | |
Boogie: Get rid of {:ignore} feature on axioms
Diffstat (limited to 'Test/inline/runtest.bat')
0 files changed, 0 insertions, 0 deletions