chriseth 63861aac4a Merge pull request #3947 from ethereum/smt_storage ...

[SMTChecker] Support to integer and Bool storage vars

2018-05-15 14:54:41 +02:00

..

syntaxTests

Add test for default location.

2018-05-14 20:23:40 +02:00

ABIDecoderTests.cpp

Tests for returning dynamic data.

2018-03-21 14:53:29 +00:00

ABIEncoderTests.cpp

Decoder tests.

2017-11-29 17:08:44 +01:00

ABITestsCommon.h

Decoder tests.

2017-11-29 17:08:44 +01:00

AnalysisFramework.cpp

SyntaxTests: extend syntax tests and isoltest to support parser errors and compiler exceptions.

2018-04-03 19:54:45 +02:00

AnalysisFramework.h

Add virtual destructors on base classes.

2018-05-02 13:29:16 +02:00

Assembly.cpp

Update source location test expectations

2018-04-30 21:23:08 +01:00

ASTJSON.cpp

Adds unit test that covers long typeDescription and renames suite.

2018-04-12 21:14:50 +02:00

ASTLegacyJSON.cpp

Adds unit test that covers long typeDescription and renames suite.

2018-04-12 21:14:50 +02:00

ErrorCheck.cpp

Support searching inside multiple errors.

2018-02-12 16:41:31 +01:00

ErrorCheck.h

Support searching inside multiple errors.

2018-02-12 16:41:31 +01:00

FormattedScope.h

Add source locations to syntax test expectations.

2018-04-10 14:08:22 +02:00

GasMeter.cpp

Test with high path complexity.

2018-05-09 10:53:31 +02:00

Imports.cpp

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

InlineAssembly.cpp

Update parser test expectations

2018-05-04 13:31:56 +01:00

JSONCompiler.cpp

Adjust tests.

2018-04-12 13:09:38 +02:00

Metadata.cpp

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

SemVerMatcher.cpp

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

SMTChecker.cpp

Testing state vars that are declared after functions that use them

2018-05-15 14:28:08 +02:00

SolidityABIJSON.cpp

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

SolidityCompiler.cpp

Update expectation.

2018-04-12 13:09:38 +02:00

SolidityEndToEndTest.cpp

Merge pull request #4062 from ethereum/revert-variable

2018-05-15 14:44:39 +02:00

SolidityExecutionFramework.cpp

Move ExecutionFramework to the dev::test namespace

2016-11-29 21:54:27 +00:00

SolidityExecutionFramework.h

Test both EVM versions.

2018-03-01 17:19:35 +01:00

SolidityExpressionCompiler.cpp

Adds unit tests for moved function.

2018-03-27 03:30:03 +01:00

SolidityNameAndTypeResolution.cpp

Replace constant with view in the tests.

2018-05-09 15:07:47 +02:00

SolidityNatspecJSON.cpp

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

SolidityOptimizer.cpp

More specific push implementation.

2018-04-04 16:50:45 +02:00

SolidityParser.cpp

Replace constant with view in the tests.

2018-05-09 15:07:47 +02:00

SolidityScanner.cpp

Add tests for scientific notation

2017-03-15 13:06:26 +00:00

SolidityTypes.cpp

Allow `memory` suffix for internal elementary type parsing.

2018-04-05 16:06:04 +02:00

StandardCompiler.cpp

Update test expectations.

2018-05-09 14:08:25 +02:00

SyntaxTest.cpp

Add source locations to syntax test expectations.

2018-04-10 14:08:22 +02:00

SyntaxTest.h

Add source locations to syntax test expectations.

2018-04-10 14:08:22 +02:00

ViewPureChecker.cpp

Changes deprecation and adjusts tests.

2018-03-27 03:30:03 +01:00