diff options
author | 2015-07-13 11:55:06 -0700 | |
---|---|---|
committer | 2015-07-13 11:55:06 -0700 | |
commit | 6dfa82655aa7cb35bae6904e05887cdf960c6319 (patch) | |
tree | fcc960db0cce120eccce3fb4be52edf9ff9325c3 /Test/dafny0/IMaps2.dfy | |
parent | 64495ae998749da057b3a717aba6ef53a3e8006e (diff) |
Fix multiple tests that relied on z3 triggering on $Box
Found by enabling auto-generated triggers and looking for failing tests
Diffstat (limited to 'Test/dafny0/IMaps2.dfy')
0 files changed, 0 insertions, 0 deletions