cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
23,860 Commits 348 Branches 121 Tags 100 MiB
d3bbc51ee9
Commit Graph

5 Commits

Author SHA1 Message Date
Martin Blicha
799f418bef Make counterexample deterministic 2023-09-05 12:39:19 +02:00
Martin Blicha
cdfc19b503 SMTChecker: Bring back counterexample checks in regression tests 
Since the default is now to ignore the counterexamples when checking
test output, we bring back counterexample checks in tests where the
counterexample is (mostly) deterministic.
 2023-07-25 12:26:21 +02:00
Leo Alt
098a3cb537 adjust tests for nondeterminism 2022-01-12 18:43:18 +01:00
Leo Alt
4c2b661eaa [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
Leo Alt
9ea4576664 Update tests 2021-08-19 16:34:01 +02:00