| .. |
|
ABIJson
|
Additional type info for ABI.
|
2019-07-18 16:54:11 +02:00 |
|
ASTJSON
|
Make sure json output array order is consistent
|
2019-08-19 17:42:03 +02:00 |
|
errorRecoveryTests
|
|
|
|
gasTests
|
|
|
|
semanticTests
|
[isoltest] Supports empty revert message.
|
2019-08-26 11:06:30 +02:00 |
|
smtCheckerTests
|
[SMTChecker] Fix index access type type error
|
2019-08-27 16:39:19 +02:00 |
|
smtCheckerTestsJSON
|
Support multiple sources for syntax tests.
|
2019-08-19 14:45:26 +02:00 |
|
syntaxTests
|
Extract some import tests.
|
2019-08-19 14:45:26 +02:00 |
|
util
|
[isoltest] Supports empty revert message.
|
2019-08-26 11:06:30 +02:00 |
|
ABIDecoderTests.cpp
|
|
|
|
ABIEncoderTests.cpp
|
Use evmone for testing.
|
2019-08-08 17:35:44 +02:00 |
|
ABIJsonTest.cpp
|
Automated ABI Json tests.
|
2019-07-02 18:11:49 +02:00 |
|
ABIJsonTest.h
|
Automated ABI Json tests.
|
2019-07-02 18:11:49 +02:00 |
|
ABITestsCommon.h
|
|
|
|
AnalysisFramework.cpp
|
|
|
|
AnalysisFramework.h
|
[SMTChecker] Relax expectations for complex nonlinear tests
|
2019-08-11 22:20:31 +02:00 |
|
Assembly.cpp
|
|
|
|
ASTJSONTest.cpp
|
|
|
|
ASTJSONTest.h
|
|
|
|
ErrorCheck.cpp
|
|
|
|
ErrorCheck.h
|
|
|
|
GasCosts.cpp
|
|
|
|
GasMeter.cpp
|
|
|
|
GasTest.cpp
|
|
|
|
GasTest.h
|
|
|
|
Imports.cpp
|
Extract some import tests.
|
2019-08-19 14:45:26 +02:00 |
|
InlineAssembly.cpp
|
|
|
|
LibSolc.cpp
|
|
|
|
Metadata.cpp
|
|
|
|
SemanticTest.cpp
|
Remove mention of IPC.
|
2019-08-08 17:35:46 +02:00 |
|
SemanticTest.h
|
Remove mention of IPC.
|
2019-08-08 17:35:46 +02:00 |
|
SemVerMatcher.cpp
|
|
|
|
SMTChecker.cpp
|
[SMTChecker] Adapt division test for Z3 only
|
2019-08-23 17:33:29 +02:00 |
|
SMTCheckerJSONTest.cpp
|
Support multiple sources for syntax tests.
|
2019-08-19 14:45:26 +02:00 |
|
SMTCheckerJSONTest.h
|
|
|
|
SolidityCompiler.cpp
|
|
|
|
SolidityEndToEndTest.cpp
|
Use evmone for testing.
|
2019-08-08 17:35:44 +02:00 |
|
SolidityExecutionFramework.cpp
|
Remove mention of IPC.
|
2019-08-08 17:35:46 +02:00 |
|
SolidityExecutionFramework.h
|
Remove mention of IPC.
|
2019-08-08 17:35:46 +02:00 |
|
SolidityExpressionCompiler.cpp
|
|
|
|
SolidityNameAndTypeResolution.cpp
|
|
|
|
SolidityNatspecJSON.cpp
|
|
|
|
SolidityOptimizer.cpp
|
Enable asan workaround in optimizer test for gcc as well.
|
2019-08-09 16:11:54 +02:00 |
|
SolidityParser.cpp
|
A pragma version mismatch is not fatal if ...
|
2019-07-17 19:01:01 -04:00 |
|
SolidityScanner.cpp
|
|
|
|
SolidityTypes.cpp
|
|
|
|
StandardCompiler.cpp
|
|
|
|
SyntaxTest.cpp
|
Support multiple sources for syntax tests.
|
2019-08-19 14:45:26 +02:00 |
|
SyntaxTest.h
|
Support multiple sources for syntax tests.
|
2019-08-19 14:45:26 +02:00 |
|
ViewPureChecker.cpp
|
|
|
