Alex Beregszaszi 9ec3fd1632 Merge pull request #4646 from ethereum/smt_model_secondary_location ...

SMT model is sorted and printed as secondary location

2018-08-01 23:20:28 +01:00

..

syntaxTests

Merge pull request #4399 from ethereum/contractWhitespace

2018-08-01 21:59:19 +01:00

ABIDecoderTests.cpp

Specifies visibility in unit tests.

2018-07-16 14:49:55 +02:00

ABIEncoderTests.cpp

Added default data locations to parameters for end to end tests.

2018-07-16 14:18:16 +02: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

Fixes assembly test.

2018-07-04 15:45:42 +02:00

ASTJSON.cpp

Update test wrt requiring storage locations.

2018-07-12 12:54:42 +02:00

ASTLegacyJSON.cpp

Updates unit test to specify visibility.

2018-07-04 15:45:42 +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

Specifies visibility in unit tests.

2018-07-16 14:49:55 +02:00

Imports.cpp

Added default data locations to parameters for end to end tests.

2018-07-16 14:18:16 +02:00

InlineAssembly.cpp

AsmParser,TypeChecker: Fix typos.

2018-07-10 12:33:19 +02:00

LibSolc.cpp

Add new libsolc entry points (solidity_license/version/compile)

2018-06-29 19:30:37 +02:00

Metadata.cpp

Specifies visibility in unit tests.

2018-07-16 14:49:55 +02:00

SemVerMatcher.cpp

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

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

SMTChecker.cpp

SMT model variables are sorted and printed as secondary source location

2018-08-01 23:27:46 +02:00

SolidityABIJSON.cpp

Fixes end-to-end tests.

2018-07-16 14:51:46 +02:00

SolidityCompiler.cpp

Updates unit test to specify visibility.

2018-07-04 15:45:42 +02:00

SolidityEndToEndTest.cpp

Fix tests regarding contract type conversion.

2018-08-01 11:04:35 +01: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

test: Fix typos.

2018-07-10 22:57:59 +02:00

SolidityNameAndTypeResolution.cpp

Added default data locations to parameters for end to end tests.

2018-07-16 14:18:16 +02:00

SolidityNatspecJSON.cpp

Updates unit test to specify visibility.

2018-07-04 15:45:42 +02:00

SolidityOptimizer.cpp

Replace stray solidity pragma with progamatically inserting it in SolidityOptimizer test

2018-07-31 00:12:46 +01:00

SolidityParser.cpp

Updates unit test to specify visibility.

2018-07-04 15:45:42 +02:00

SolidityScanner.cpp

Scanner tests for all shifts

2018-07-25 12:59:28 +01:00

SolidityTypes.cpp

Add more FixedPoint type tests

2018-06-27 19:05:00 +02:00

StandardCompiler.cpp

Specifies visibility in unit tests.

2018-07-16 14:49:55 +02:00

SyntaxTest.cpp

Refactor syntax test infrastructure to prepare introducing semantics tests.

2018-06-15 10:51:40 +02:00

SyntaxTest.h

Refactor syntax test infrastructure to prepare introducing semantics tests.

2018-06-15 10:51:40 +02:00

TestCase.cpp

Refactor syntax test infrastructure to prepare introducing semantics tests.

2018-06-15 10:51:40 +02:00

TestCase.h

Refactor syntax test infrastructure to prepare introducing semantics tests.

2018-06-15 10:51:40 +02:00

ViewPureChecker.cpp

test: Fix typos.

2018-07-10 22:57:59 +02:00