solidity/test
chriseth d940f6f7ef
Merge pull request #6611 from ethereum/smt_refactor_assignment
[SMTChecker] Refactor assignment handling
2019-04-30 15:26:51 +02:00
..
cmdlineTests Increase code cost for branching statements. 2019-04-25 17:08:11 +02:00
compilationTests Set pragma to arbitrary. 2018-10-24 14:52:55 +02:00
contracts Adjust semantics tests. 2019-04-03 17:59:04 +02:00
externalTests Splits up external tests into separate files. 2019-04-02 13:42:58 +02:00
libdevcore Remove w parameter for toHex. 2018-12-05 22:51:49 +01:00
libevmasm Optimize obsolete ANDs in combination with certain SHIFTs 2019-03-29 10:08:05 +01:00
liblangutil Fix tabs/spaces. 2019-02-13 17:05:48 +01:00
liblll Remove "using namespace". 2019-03-28 14:32:48 +01:00
libsolidity Update SMTChecker JSON tests expectation 2019-04-30 11:08:36 +02:00
libyul Merge pull request #6594 from ethereum/adjustCodeMetric 2019-04-29 09:48:59 +02:00
tools Proto fuzzer: Add missing memory and log opcodes and fix visitation bug 2019-04-30 14:18:00 +02:00
boostTest.cpp Add settings framework for interactive tests. 2019-04-03 14:58:20 +02:00
buglist_test_vectors.md Update bug description, add regex and tests. 2018-09-10 12:58:40 +02:00
buglistTests.js Buglist check script supports json paths 2018-09-06 18:42:21 +02:00
CMakeLists.txt Interpreter tests. 2019-02-25 11:58:36 +01:00
cmdlineTests.sh Provide option to auto-correct cmdlineTests expectations 2019-04-08 20:39:49 +08:00
Common.cpp Support EVM Version rules for extracted tests. 2019-03-15 17:23:20 +01:00
Common.h Run tests with both ABIV2 and Yul optimizer. 2019-04-04 13:18:30 +02:00
ExecutionFramework.cpp TestFramework: Use getBlockByNumber and eth_flush to get transaction confirmation 2019-04-04 16:39:15 +02:00
ExecutionFramework.h TestFramework: Use getBlockByNumber and eth_flush to get transaction confirmation 2019-04-04 16:39:15 +02:00
externalTests.sh Splits up external tests into separate files. 2019-04-02 13:42:58 +02:00
InteractiveTests.h Interpreter tests. 2019-02-25 11:58:36 +01:00
Metadata.cpp Add tiny CBOR parser 2019-03-11 13:01:37 +01:00
Metadata.h Add tiny CBOR parser 2019-03-11 13:01:37 +01:00
Options.cpp Run tests with both ABIV2 and Yul optimizer. 2019-04-04 13:18:30 +02:00
Options.h Support EVM Version rules for extracted tests. 2019-03-15 17:23:20 +01:00
RPCSession.cpp TestFramework: also output failed request 2019-04-04 16:39:15 +02:00
RPCSession.h Shutdown IPC socket gracefully in RPCSession 2019-01-31 13:16:35 +00:00
solcjsTests.sh Use master branch from solc-js. 2019-02-11 15:29:58 +01:00
TestCase.cpp Allows additional EVMVersion comparators in isoltest. 2019-04-25 17:13:17 +02:00
TestCase.h Make yul a setting. 2019-04-03 14:58:20 +02:00