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
15,996 Commits 348 Branches 121 Tags
v0.6.4
Commit Graph
35 Commits
Author SHA1 Message Date
Mathias Baumann fc10e701fc Implement yul syntax tests 2020-02-05 14:58:34 +01:00
Mathias Baumann 00e4d13975 TestFramework: Merge Options.h into Common.h 2020-01-29 12:27:05 +01:00
Mathias Baumann 2f1f8e25c1 TestFramework: Remove headers from Options.h 2020-01-28 17:29:22 +01:00
Christian Parpart ed45b000d1 Adapt tests directory to C++ namespace changes. 2020-01-07 15:51:50 +01:00
chriseth f6916a637e Merge remote-tracking branch 'origin/develop' into develop_060 2019-12-09 17:16:58 +01:00
Leonardo Alt 225041738e Add SMTCheckerTest for isoltest 2019-12-09 15:32:08 +01:00
Leonardo Alt 3e8584bd21 Pull SyntaxTest::run content into separate functions 2019-12-09 15:32:08 +01:00
Daniel Kirchner 77a9e91443 Enable yul optimizer by default. 2019-12-02 19:30:14 +01:00
Daniel Kirchner 6ed219ebe8 Support multiple sources for syntax tests. 2019-08-19 14:45:26 +02:00
Daniel Kirchner 4a65c5ebaa Compile succeeding syntax tests. 2019-08-16 17:14:49 +02:00
rocky 1a7e09ab7a Add errorRecovery boolean to StandardCompiler 2019-06-18 15:54:05 -04:00
rockyandchriseth ca3afea1d7 Add Steve Johnson-style parser recovery rules: 
SourceUnit = Error $
    Block = '{' Error '}'
    ContractDefinition = '{' Error '}'
    Statement = Error ';'

Co-Authored-By: chriseth <chris@ethereum.org>
 2019-06-17 14:47:07 +02:00
chriseth 4ee703e6e5 Revert "Add Steve Johnson-style parser recovery rules:" 
This reverts commit 97f8ee0d1b.
 2019-05-28 18:09:24 +02:00
rockyandchriseth 97f8ee0d1b Add Steve Johnson-style parser recovery rules: 
SourceUnit = Error $
    Block = '{' Error '}'
    ContractDefinition = '{' Error '}'
    Statement = Error ';'

Co-Authored-By: chriseth <chris@ethereum.org>
 2019-05-28 15:06:34 +02:00
chriseth df96648b1c Do not allow msize in inline assembly if the Yul optimizer is active. 2019-05-28 12:54:33 +02:00
Daniel Kirchner 76b88bdfd8 Allow test cases to indicate fatal errors. 2019-05-07 18:12:21 +02:00
Christian Parpart 862d798047 [test] AnalysisFramework's instance of CompilerStack to be lazily instanciated. 2019-04-16 18:25:03 +02:00
chriseth aeb260cde1 Add settings framework for interactive tests. 2019-04-03 14:58:20 +02:00
Alex Beregszaszi 3ee8bb6814 Use setSource in tests 2019-03-25 15:11:08 +00:00
Daniel Kirchner a178486436 Review suggestions. 2019-03-18 14:34:00 +01:00
Daniel Kirchner 4a28e1eb43 Support EVM Version rules for extracted tests. 2019-03-15 17:23:20 +01:00
Christian Parpart 53f9be8a23 Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR) 2019-02-11 16:00:24 +01:00
Leonardo Alt 0ff4cbe51b Add SMTChecker tests for standard JSON 2018-11-23 10:51:06 +00:00
Christian Parpart d67322a186 Introduce namespace langutil in liblangutil directory. 
Also:
- Use {}-style list initialisation for SourceLocation construction
- Introduce new system includes
- Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
 2018-11-21 19:13:44 +00:00
Alex Beregszaszi 6c3d12d85b Do not require ctype/stdio if not needed 2018-10-09 19:06:22 +01:00
Daniel Kirchner 14d0f8c2f1 Refactor syntax test infrastructure to prepare introducing semantics tests. 2018-06-15 10:51:40 +02:00
Daniel Kirchner 9f546cfafc Improve exception handling in soltest and isoltest. 2018-06-12 11:06:14 +02:00
Daniel Kirchner f03695731b Add source locations to syntax test expectations. 2018-04-10 14:08:22 +02:00
Daniel Kirchner 6f9644add1 SyntaxTests: extend syntax tests and isoltest to support parser errors and compiler exceptions. 2018-04-03 19:54:45 +02:00
Daniel Kirchner e68c19c47b Only consider files ending with .sol and not starting with ~ in syntax tests. 2018-03-16 12:28:21 +01:00
Daniel Kirchner 50ad89d369 Only colour error type, not error message in isoltest. 2018-03-15 16:27:54 +01:00
Daniel Kirchner 269241e910 Add formatted printing to SyntaxTest and expand its public interface. 2018-03-15 16:23:46 +01:00
Daniel Kirchner 09420f1a44 Store filenames in static variable to guarantee sufficient lifetime. 2018-03-13 18:14:57 +01:00
Daniel Kirchner 7091b6c8b5 Minor adjustments. 2018-03-13 12:30:56 +01:00
Daniel Kirchner 3232561d97 Refactoring; fuse SyntaxTestParser and SyntaxTester to SyntaxTest. 2018-03-13 11:20:11 +01:00