diff options
author | 2014-05-07 19:15:25 +0100 | |
---|---|---|
committer | 2014-05-07 19:15:25 +0100 | |
commit | 9f555ab92f7cfe9edab8f12277b27cdee1849c32 (patch) | |
tree | 0860af1c9bec7345d4c20f51f4c95de0cbda5537 /Test/inline/expansion3.bpl | |
parent | 98407f4fc7af2fbe5a54488dfdfc3973b72d2fd3 (diff) |
Enable "error messages for failing asserts vs. loop invariants" lit tests.
Diffstat (limited to 'Test/inline/expansion3.bpl')
0 files changed, 0 insertions, 0 deletions