aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity
Commit message (Expand)AuthorAgeFilesLines
* Store filenames in static variable to guarantee sufficient lifetime.Daniel Kirchner2018-03-141-1/+5
* Minor adjustments.Daniel Kirchner2018-03-131-4/+4
* Refactoring; fuse SyntaxTestParser and SyntaxTester to SyntaxTest.Daniel Kirchner2018-03-135-307/+240
* Workaround for boost < 1.59.0Daniel Kirchner2018-03-131-0/+13
* Infrastructure for extracting syntax tests in separate test files.Daniel Kirchner2018-03-139-52/+367
* [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-131-0/+40
* [SMTChecker] Support to Bool variablesLeonardo Alt2018-03-131-0/+98
* Support constantinople in evm-versionAlex Beregszaszi2018-03-131-0/+2
* Fix test.chriseth2018-03-071-1/+1
* Merge pull request #3611 from ethereum/warn-using-address-overloadAlex Beregszaszi2018-03-072-11/+170
|\
| * Warn if using address overloads on contractsAlex Beregszaszi2018-03-052-11/+170
* | Tests for warnings/errors for loose assembly.chriseth2018-03-071-4/+192
* | Merge pull request #2966 from ethereum/useStaticCallAlex Beregszaszi2018-03-071-4/+56
|\ \
| * | Test for using staticcall for view and pure functions.chriseth2018-03-061-4/+56
* | | Merge pull request #3549 from ethereum/fixmultidimAlex Beregszaszi2018-03-061-0/+56
|\ \ \ | |/ / |/| |
| * | Tests for multi-dimensional arrays.chriseth2018-03-011-0/+56
* | | Merge pull request #3652 from ethereum/gasleft_v2chriseth2018-03-061-2/+2
|\ \ \
| * | | Use StaticAnalyzer to deprecate msg.gas instead of conditionally removing it ...Daniel Kirchner2018-03-061-2/+2
* | | | Merge pull request #3643 from ethereum/gasleftchriseth2018-03-064-0/+90
|\| | |
| * | | Improved gasleft tests.Daniel Kirchner2018-03-062-7/+19
| * | | Add test cases for shadowing gasleft with local functions/variables.Daniel Kirchner2018-03-051-0/+19
| * | | Remove unstable test case.Daniel Kirchner2018-03-051-19/+0
| * | | Move msg.gas to global function gasleft(). Closes #2971.Daniel Kirchner2018-03-054-0/+78
* | | | Do not warn about 0.5.0 experimental pragma.chriseth2018-03-051-6/+3
| |_|/ |/| |
* | | Merge pull request #3569 from ethereum/evmVersionchriseth2018-03-0514-27/+135
|\ \ \ | |/ / |/| |
| * | Use EVM version in gas meter and optimizer.chriseth2018-03-051-5/+5
| * | Only warn for shift instructions if not using constantinopleAlex Beregszaszi2018-03-021-3/+3
| * | Add TangerineWhistle.chriseth2018-03-023-2/+6
| * | CREATE2 test fix.chriseth2018-03-021-1/+1
| * | Returndatasize and staticcall test fixes.chriseth2018-03-022-10/+10
| * | Correctly set evm version in testschriseth2018-03-0211-6/+68
| * | Provide EVM version to assembly analysis.chriseth2018-03-021-3/+3
| * | Use EVM version in type checker.chriseth2018-03-023-6/+14
| * | Test both EVM versions.chriseth2018-03-021-0/+1
| * | Some tests.chriseth2018-03-021-0/+33
| |/
* | Merge pull request #3633 from ethereum/reserved-keywords-testchriseth2018-03-021-0/+30
|\ \
| * | Parser: Add test case for reserved keywords.Daniel Kirchner2018-03-021-0/+30
| |/
* | Merge pull request #3628 from ethereum/literalsHexUnitchriseth2018-03-021-0/+19
|\ \ | |/ |/|
| * Deprecate using unit denominations in combination with hex numbers. Closes #3...Daniel Kirchner2018-03-011-0/+19
* | Ensure that library addresses supplied are of correct length and hex prefixed...Alex Beregszaszi2018-03-011-7/+27
|/
* Merge pull request #3617 from ethereum/jsonio-librarieschriseth2018-03-011-0/+133
|\
| * Properly validate invalid hex characters in JSONIO librariesAlex Beregszaszi2018-02-281-0/+23
| * Add more comprehensive tests and checks for libraries in JSONIOAlex Beregszaszi2018-02-281-0/+110
* | Merge pull request #3615 from ethereum/test-frameworkchriseth2018-02-281-2/+12
|\ \
| * | Split compileContract off compileAndRunWithoutCheck in SolidityExecutionFrame...Alex Beregszaszi2018-02-281-2/+12
| |/
* | Merge pull request #3613 from ethereum/require-visibilitychriseth2018-02-282-7/+24
|\ \ | |/ |/|
| * Issue error if no visibility is specified (on 0.5.0)Alex Beregszaszi2018-02-272-7/+24
* | Merge pull request #3476 from ethereum/scopingchriseth2018-02-284-16/+302
|\ \ | |/ |/|
| * Some more scoping tests.chriseth2018-02-272-1/+102
| * Only active variables at the point of their declaration.chriseth2018-02-272-3/+92
| * Enable C99-scoping with the 0.5.0-experimental pragma.chriseth2018-02-271-2/+45
| * Tests for new scoping behaviour.chriseth2018-02-271-0/+44
| * Adjust tests.chriseth2018-02-273-14/+23
* | Add basic test for shift opcodesAlex Beregszaszi2018-02-271-0/+14
|/
* Turn throw into a syntax error for 0.5.0Alex Beregszaszi2018-02-271-1/+10
* Merge pull request #3589 from ethereum/identifiersAlex Beregszaszi2018-02-271-0/+15
|\
| * Add test for escapeIdentifierAlex Beregszaszi2018-02-271-0/+15
* | Test data location of getter return type.chriseth2018-02-261-0/+20
|/
* Parser test.chriseth2018-02-221-0/+13
* Tests for warnings.chriseth2018-02-221-0/+23
* Introduce emit statement.chriseth2018-02-222-0/+130
* Do not warn about analysis-only experimental features.chriseth2018-02-221-6/+1
* Raise error on oversized number literals in assemblyAlex Beregszaszi2018-02-221-0/+1
* Merge pull request #3555 from ethereum/libraryTestCallInputchriseth2018-02-221-2/+2
|\
| * Provide proper input for test call.chriseth2018-02-211-2/+2
* | Merge pull request #3554 from ethereum/reuseScannerOrNotchriseth2018-02-211-0/+5
|\ \
| * | Expect end of string at end of top-level block for assembly parser.chriseth2018-02-211-0/+5
* | | Add new JSON API for better abstraction and for supporting strict JSON parsingAlexander Arlt2018-02-215-15/+33
| |/ |/|
* | Provide input for two optimizer tests.chriseth2018-02-211-2/+2
|/
* Test aliasing in shadowing.chriseth2018-02-201-1/+22
* Test ``_offset`` for constants in inline assembly.chriseth2018-02-201-0/+15
* Merge pull request #3135 from federicobond/formatter-instancechriseth2018-02-202-6/+9
|\
| * Convert static SourceReferenceFormatter functions to member onesFederico Bond2018-02-192-6/+9
* | Fix indentation.Emilio Almansi2018-02-191-3/+3
* | Added property _documentation_ to Function, Event, and Modifier definition cl...Emilio Almansi2018-02-191-1/+22
* | Minor improvement: check sourcesAlexander Arlt2018-02-171-0/+36
|/
* Make addmod and mulmod revert if the last argument is zero.chriseth2018-02-151-0/+27
* Disallow uninitialized storage pointers as experimental 0.5.0 feature.chriseth2018-02-151-0/+32
* Merge pull request #3498 from ethereum/allowthisfselectorchriseth2018-02-143-12/+56
|\
| * Add tests for selectors for public variables.chriseth2018-02-132-4/+10
| * Allow `this.f.selector` to be pure.chriseth2018-02-132-9/+47
* | Move string distance function to utils and format error messageBalajiganapathi S2018-02-131-4/+4
* | Suggest alternatives when identifier not found.Balajiganapathi S2018-02-131-0/+87
* | Merge pull request #3349 from federicobond/number-improvAlex Beregszaszi2018-02-131-2/+2
|\ \ | |/ |/|
| * Always use shortened literal number representation.chriseth2018-02-131-1/+1
| * Avoid output messages size blow-up using huge bignums literalsFederico Bond2018-02-131-1/+1
* | Adjust tests for multiple errors with the var keywordAlex Beregszaszi2018-02-132-13/+25
* | Do not use var where not neccessary in testsAlex Beregszaszi2018-02-132-4/+4
|/
* Merge pull request #3479 from ethereum/multiErrorchriseth2018-02-136-70/+184
|\
| * Support searching inside multiple errors.chriseth2018-02-126-70/+184
* | Fix segfault with undeclared array typesFederico Bond2018-02-121-0/+10
|/
* Merge pull request #3360 from federicobond/nonfatal-reference-errorsAlex Beregszaszi2018-02-041-1/+66
|\
| * Add more test cases for reference resolving error handlingFederico Bond2018-02-031-0/+65
| * Replace some fatal errors when resolving references with normal onesFederico Bond2018-02-031-1/+1
* | Issue warning for using public visibility for interface functionsAlex Beregszaszi2018-02-012-3/+9
* | Prevent libraries from being called.chriseth2018-01-191-0/+33
|/
* Disallow non-functional instructions in parseExpression earlyAlex Beregszaszi2018-01-101-2/+2
* Show restricted instruction warning before argument mismatch issueAlex Beregszaszi2018-01-081-4/+4
* Tests for strict mode.chriseth2018-01-061-9/+69
* Properly support library file names containing a colon (such as URLs).Alex Beregszaszi2018-01-051-0/+35
* [SMTChecker] Variables are merged after branches (ite variables)Leonardo Alt2018-01-051-8/+39
* Provide easy way to update source location expectation.chriseth2018-01-041-9/+45
* Merge pull request #3297 from ethereum/separate_expression_and_statementAlex Beregszaszi2018-01-041-4/+4
|\
| * Adjust tests.chriseth2017-12-131-4/+4
* | Merge pull request #3369 from ethereum/jsonio-colonAlex Beregszaszi2018-01-041-0/+30
|\ \
| * | Properly handle colons in file names within jsonioAlex Beregszaszi2018-01-031-0/+30
* | | Improve error message for wrong struct initialization (#3359)Federico Bond2018-01-041-0/+14
|/ /
* | Populate the sourceLocation field properly in standard JSON on errorsAlex Beregszaszi2017-12-181-0/+40
* | Merge pull request #3232 from ethereum/simplifyConstantchriseth2017-12-141-14/+14
|\ \ | |/ |/|
| * Simplify ConstantEvaluator.chriseth2017-12-121-1/+1
| * Reduce the types of errors outputted by ConstantEvaluatorAlex Beregszaszi2017-12-121-4/+4
| * Improve error message for constant evaluatorAlex Beregszaszi2017-12-121-9/+9
* | Merge pull request #3183 from federicobond/fix-event-parsingYoichi Hirai2017-12-122-3/+13
|\ \ | |/ |/|
| * Fix event parsing. Refs #3175Federico Bond2017-11-232-3/+13
* | Rename jsonCompiler to libsolcAlex Beregszaszi2017-12-111-1/+1
* | Move some struct tests to require ABIEncoderV2Alex Beregszaszi2017-12-113-0/+8
* | Fix warning test for jumps in assemblyAlex Beregszaszi2017-12-061-2/+2
* | Warn for assembly labels tooAlex Beregszaszi2017-12-061-0/+1
* | Fix test.chriseth2017-12-041-4/+3
* | Another test for division.chriseth2017-11-301-0/+10
* | Unary operators and division.chriseth2017-11-301-0/+85
* | Specify output selection in testsAlex Beregszaszi2017-11-301-0/+8
* | Also test short input for old decoder.chriseth2017-11-301-5/+9
* | Cleanup and overflow checks for data pointers.chriseth2017-11-301-1/+1
* | Decoder tests.chriseth2017-11-303-31/+852
* | Merge pull request #3220 from ethereum/IuliaIfchriseth2017-11-272-1/+50
|\ \
| * | Tests.chriseth2017-11-221-0/+16
| * | If statement for Iulia / inline assembly.chriseth2017-11-222-1/+34
* | | Merge pull request #3235 from ethereum/explicit-testsAlex Beregszaszi2017-11-231-4/+4
|\ \ \
| * | | Improve expected test errors for some old casesAlex Beregszaszi2017-11-221-4/+4
| |/ /
* / / success(text) -> CHECK_SUCCESS(text)Kwang Yul Seo2017-11-221-13/+13
|/ /
* | For loop.chriseth2017-11-221-0/+67
* | Test for multi-branches.chriseth2017-11-221-0/+18
* | Fix boolean constants.chriseth2017-11-221-12/+9
* | Tests.chriseth2017-11-221-0/+31
* | Tests.chriseth2017-11-221-0/+240
* | Improve cyclic constant error messageAlex Beregszaszi2017-11-221-2/+2
* | Detect cyclic constant definitionsBalajiganapathi S2017-11-221-1/+29
* | Add more tests for constant var as array lengthsBalajiganapathi S2017-11-221-1/+96
* | Allow constant integer variables as array lengths.Balajiganapathi S2017-11-222-1/+41
* | Extend address checksum testsAlex Beregszaszi2017-11-171-4/+17
|/
* Add missing name resolver testsFederico Bond2017-10-271-0/+29
* More detailed errors for invalid array lengths (such as division by zero).Alex Beregszaszi2017-10-201-0/+6
* Merge pull request #3101 from ethereum/compilerstack-headerchriseth2017-10-195-12/+12
|\
| * Implement CompilerStack.lastContractName()Alex Beregszaszi2017-10-194-9/+9
| * Always require a contract/sourceName in CompilerStackAlex Beregszaszi2017-10-192-7/+7
* | Turn usage of callcode into an error as experimental 0.5.0 featureAlex Beregszaszi2017-10-191-0/+10
|/
* Merge pull request #2925 from ethereum/tuple-value-checkchriseth2017-10-181-1/+48
|\
| * Only check tuples for valid rational numbers if they have more than one element.chriseth2017-10-181-1/+17
| * Validate each tuple literalAlex Beregszaszi2017-10-181-1/+32
* | Adjust tests.chriseth2017-10-181-1/+1
* | Do not accept truncated function selectors.chriseth2017-10-181-0/+19
|/
* Allocate one byte per memory byte array element instead of 32.chriseth2017-10-171-0/+24
* Allow ``gas`` in view functions.chriseth2017-10-161-2/+5
* Merge pull request #3038 from ethereum/interface-externalYoichi Hirai2017-10-101-0/+22
|\
| * Force interface functions as external (0.5.0)Alex Beregszaszi2017-10-061-0/+22
* | Snarks test using Byzantium precompilesAlex Beregszaszi2017-10-091-0/+301
|/
* Merge pull request #3036 from ethereum/constant-eval-refactorchriseth2017-10-061-1/+39
|\
| * Add tests for ConstantEvaluatorAlex Beregszaszi2017-10-061-1/+39
* | Ensure unused variables are not warned for in interfaces/abstract contractsAlex Beregszaszi2017-10-061-0/+20
|/
* Require location keyword for local variables (0.5.0)Alex Beregszaszi2017-10-061-1/+13
* Merge pull request #2981 from ethereum/no-address-overloadchriseth2017-10-051-0/+58
|\
| * Do not add members of address to contracts in experimental 0.5.0Alex Beregszaszi2017-10-051-0/+58
* | Merge pull request #3020 from ethereum/smt-functioncallAlex Beregszaszi2017-10-051-0/+26
|\ \
| * | SMT should not crash on typecast/structsAlex Beregszaszi2017-10-051-0/+26
* | | Merge pull request #2982 from ethereum/encoderFixesAlex Beregszaszi2017-10-051-0/+81
|\ \ \ | |_|/ |/| |
| * | Test encoder for empty structs.chriseth2017-09-271-0/+22
| * | ABI encoder fixes and test.chriseth2017-09-271-0/+59
* | | Merge pull request #2901 from ethereum/compiler-nameschriseth2017-10-051-0/+177
|\ \ \
| * | | Add contract depedendency tests to standardcompilerAlex Beregszaszi2017-10-051-0/+61
| * | | Restrict contracts compiled via outputSelection (but not the individual outpu...Alex Beregszaszi2017-10-051-0/+116
| | |/ | |/|
* / | Do not consider shadowing in variable names inside event declarationsFederico Bond2017-10-051-0/+11
|/ /
* | Merge pull request #2990 from ethereum/someMoreSMTStuffchriseth2017-10-041-0/+86
|\ \
| * | Tests for SMT checker.chriseth2017-09-291-0/+86
* | | Merge pull request #3013 from ethereum/evmasm-cleanupchriseth2017-10-041-7/+3
|\ \ \
| * | | Remove duplicate EVMScheduleAlex Beregszaszi2017-10-031-7/+3
* | | | Better error message when using fractional number as array size expressionswadeAlexC2017-10-041-3/+3
* | | | Disallow non-pure constant state variables in 0.5.0Federico Bond2017-10-031-4/+27
|/ / /
* | | Emit error when declaring event with same name and arguments twiceFederico Bond2017-09-301-0/+55
* | | Unary + now a synax error (experimental 0.5.0)Rhett Aultman2017-09-301-0/+25
* | | Validate array length in type checkerAlex Beregszaszi2017-09-291-0/+10
|/ /
* | More verbose error messages.chriseth2017-09-292-13/+26
* | Allow test frameworks to filter out some warnings.chriseth2017-09-292-3/+14
* | Fix overload resolution when conflict is with members of address (balance, tr...Alex Beregszaszi2017-09-282-0/+48
|/
* Fix other test to use ABI_CHECKAlex Beregszaszi2017-09-271-23/+25
* Fix encoded EndToEnd inputs.chriseth2017-09-261-7/+7
* Merge pull request #2954 from wadeAlexC/developAlex Beregszaszi2017-09-251-0/+84
|\
| * Better error message for unexpected trailing comma in parameter listswadeAlexC2017-09-251-0/+84
* | Improved error messages for EndToEnd tests.chriseth2017-09-252-824/+848
|/
* Cleanup test helper macros.chriseth2017-09-226-19/+19
* Merge pull request #2902 from ethereum/warn-obsoletechriseth2017-09-211-2/+27
|\
| * Warn about obsolete sha3/suicide callsAlex Beregszaszi2017-09-191-2/+27
* | Support multiple assignment in inline assemblyAlex Beregszaszi2017-09-202-0/+43
* | Mark functions staticAlex Beregszaszi2017-09-201-2/+2
|/
* Add tests for constant bytes/stringsAlex Beregszaszi2017-09-192-0/+36
* Merge pull request #2910 from ethereum/fallback-restrict-externalchriseth2017-09-181-0/+32
|\
| * Force fallback to be external (experimental 0.5.0 change)Alex Beregszaszi2017-09-181-0/+32
* | Fixed tests with mappings in structs and added some more.chriseth2017-09-161-2/+90
* | Use "tuple" for struct types in ABI JSON.chriseth2017-09-162-11/+36
* | Implement struct encoder.chriseth2017-09-162-44/+36
* | Fix tests.chriseth2017-09-163-4/+9
* | Expect test to fail until implemented.chriseth2017-09-161-1/+4
* | Structure type json using "components".chriseth2017-09-161-106/+143
* | Fix interface type conversion internal to structs.chriseth2017-09-162-4/+38
* | Tests for external signatures.chriseth2017-09-161-4/+28
* | Function signatures containing structs.chriseth2017-09-161-6/+14
* | Update tests and error messages.chriseth2017-09-162-13/+13
* | Allow structs as part of function interfaces.chriseth2017-09-163-1/+226
|/
* Named assembly labels.chriseth2017-09-161-0/+28
* Merge pull request #2904 from ethereum/viewPure5Alex Beregszaszi2017-09-151-0/+10
|\
| * Enforce view with error for experimental 0.5.0.chriseth2017-09-141-0/+10
* | Update view/pure tests to contain mandatory visibility specifiersAlex Beregszaszi2017-09-141-53/+51
* | Update type tests to contain mandatory visibility specifiersAlex Beregszaszi2017-09-141-495/+506
|/
* Fix view/pure warnings on selector testsAlex Beregszaszi2017-09-141-14/+14
* Merge pull request #2473 from ethereum/functiontype-sigAlex Beregszaszi2017-09-142-0/+105
|\
| * Use hashing function in testsAlex Beregszaszi2017-09-131-3/+3
| * Rename .sig to .selector on function typesAlex Beregszaszi2017-09-132-14/+14
| * Add tests for function type sigsAlex Beregszaszi2017-09-132-0/+105
* | Merge pull request #2848 from ethereum/checkViewPurechriseth2017-09-143-86/+484
|\ \ | |/ |/|
| * Allow constant variables in pure functions.chriseth2017-09-061-0/+13
| * Fix testschriseth2017-09-061-1/+1
| * Tone down error message.chriseth2017-09-061-3/+3
| * Analyze assembly.chriseth2017-09-062-2/+64
| * New tests for view and pure checker.chriseth2017-09-062-8/+331
| * Change tests to use view or pure as appropriateAlex Beregszaszi2017-09-062-76/+76
* | Display helpful warning for unused function arguments/return parametersSuman2017-09-121-7/+7
* | Change retrieveContract to take name and not indexAlex Beregszaszi2017-09-113-6/+6
|/
* Fix warning checking in test framework.chriseth2017-09-062-5/+5
* Change array too large error message as it is valid for non-calldata tooAlex Beregszaszi2017-09-061-3/+3
* Merge pull request #2846 from ethereum/refactorTestsAlex Beregszaszi2017-08-293-223/+275
|\
| * Extract base from NameAndType and use compiler stack.chriseth2017-08-293-223/+275
* | Add header for jsonCompilerAlex Beregszaszi2017-08-291-10/+1
* | Include all overloaded events in ABIAlex Beregszaszi2017-08-291-0/+20
* | Crash fix, parseTypeName can return null.chriseth2017-08-281-0/+12
|/
* Merge pull request #2819 from ethereum/compilerstack-typecheckchriseth2017-08-261-4/+3
|\
| * Update SolidityNameAndTypeResolution to match CompilerStackAlex Beregszaszi2017-08-251-4/+3
* | Warn on using literals in tight packingAlex Beregszaszi2017-08-251-0/+44
|/
* Update tests.chriseth2017-08-253-12/+12
* Rename statemutability to stateMutability in ABI/ASTAlex Beregszaszi2017-08-241-28/+28
* Add ABI test for pure functionAlex Beregszaszi2017-08-241-0/+55
* Introduce pure specifier on functionsAlex Beregszaszi2017-08-241-0/+10
* Merge pull request #2770 from ethereum/recursionInAsmchriseth2017-08-241-0/+14
|\
| * Tests for recursion in JULIA.chriseth2017-08-221-0/+14
* | Update tests for viewAlex Beregszaszi2017-08-232-1/+62
* | Introduce view (and keep constant as an alias)Alex Beregszaszi2017-08-231-3/+3
* | Check inheritance specifier arguments for interfaces.chriseth2017-08-221-0/+9
* | Reject the creation of interface with the new statementAlex Beregszaszi2017-08-221-0/+26
|/
* Merge pull request #2773 from ethereum/usingForWithoutLibraryAlex Beregszaszi2017-08-221-0/+15
|\
| * Fix crash related to ``using for`` without a library.chriseth2017-08-211-0/+15
* | Merge pull request #2771 from ethereum/unused-includesAlex Beregszaszi2017-08-212-4/+0
|\ \ | |/ |/|