cerc-io/solidity
11
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
19,055 Commits 348 Branches 121 Tags
v0.8.0
Commit Graph
11 Commits
Author SHA1 Message Date
Leonardo Alt 3c142e0e94 Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
Leonardo Alt 00858c0ccf Isoltets SMTChecker option and BMC specific tests 2020-11-06 15:03:38 +00:00
Sachin Grover b7adb2aa42 Add SPDX license identifier if not present already in source file 
Fixes: #9220
 2020-07-17 20:24:12 +05:30
Daniel Kirchner c8f25142a7 Add nooptions label to smt checks. 2020-07-11 20:17:12 +02:00
Leonardo Alt 45eba27424 Rename namespace 2020-05-20 12:55:18 +02:00
a3d4 bb38ce1759 Decoupled error checking and report printing in CommonSyntaxTest. 2020-03-16 23:22:56 +01:00
a3d4 66783c30ce Introduced TestCaseReader. 2020-03-16 23:14:33 +01:00
a3d4 29b770c434 Introduced TestCase::shouldRun(). 2020-03-09 15:52:20 +01:00
Mathias Baumann 00e4d13975 TestFramework: Merge Options.h into Common.h 2020-01-29 12:27:05 +01:00
Christian Parpart ed45b000d1 Adapt tests directory to C++ namespace changes. 2020-01-07 15:51:50 +01:00
Leonardo Alt 225041738e Add SMTCheckerTest for isoltest 2019-12-09 15:32:08 +01:00