Leonardo 7bbf3a694b Merge pull request #11261 from ethereum/smt_choose_target ...

[SMTChecker] Add option to choose contracts to be analyzed

2021-04-21 13:11:33 +02:00

..

cmdlineTests

Merge pull request #11261 from ethereum/smt_choose_target

2021-04-21 13:11:33 +02:00

compilationTests

Disallow certain implicit conversions between integer types.

2021-01-12 08:23:47 +01:00

contracts

Tests/Docs: changing type of msg.sender and tx.origin into address

2020-12-14 16:55:48 +01:00

evmc

EVMHost: Use std::map for storage so that slots are stored in some order.

2021-03-12 09:39:15 +01:00

externalTests

Tests after making all explicit address conversions as non-payable

2020-12-14 18:46:01 +01:00

formal

Proof.

2021-03-18 08:42:49 +01:00

libevmasm

Added few more tests for low level inliner.

2021-03-24 13:50:24 +01:00

liblangutil

Remove the \b, \f, \v escape sequences from the Scanner

2020-12-07 21:10:03 +00:00

libsolidity

Update gas costs in smeantic tests.

2021-04-21 11:01:22 +02:00

libsolutil

[whiskers] Add check that template contain tags.

2021-01-20 15:26:34 -05:00

libyul

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

scripts

Keep pragma in smoke test for bytecode compare script

2021-04-08 21:03:39 +02:00

tools

Merge pull request #11261 from ethereum/smt_choose_target

2021-04-21 13:11:33 +02:00

yulPhaser

Tests for FunctionSpecializer

2021-03-29 11:02:18 +02:00

.solhint.json

Test require with string literals

2019-11-13 12:01:25 +01:00

.solhintignore

Add style checker

2019-08-05 13:00:30 +02:00

boostTest.cpp

Changing enforceGasCost functionality.

2021-03-10 14:22:26 +01:00

buglist_test_vectors.md

…

buglistTests.js

…

CMakeLists.txt

Extract StackReuseCodegen tests.

2021-03-09 15:47:24 +01:00

cmdlineTests.sh

Merge pull request #11235 from ethereum/cmdline-tests-for-stdin

2021-04-19 16:21:43 +02:00

Common.cpp

Changing enforceGasCost functionality.

2021-03-10 14:22:26 +01:00

Common.h

Implementing enforcing gas expectations in isoltest.

2021-03-09 21:26:45 +01:00

CommonSyntaxTest.cpp

Replace raw throw with BOOST_THROW_EXCEPTION.

2021-02-18 20:23:59 -05:00

CommonSyntaxTest.h

Add SPDX license identifier if not present already in source file

2020-07-17 20:24:12 +05:30

docsCodeStyle.sh

Quote stuff properly

2021-02-01 17:14:38 +01:00

EVMHost.cpp

Permit Yul interpreter vs Evmone storage comparison.

2021-04-12 10:39:23 +02:00

EVMHost.h

EVMHost: Use std::map for storage so that slots are stored in some order.

2021-03-12 09:39:15 +01:00

ExecutionFramework.cpp

Merge remote-tracking branch 'origin/develop' into breaking

2020-12-07 17:13:48 +01:00

ExecutionFramework.h

Merge remote-tracking branch 'origin/develop' into breaking

2020-12-07 17:13:48 +01:00

externalTests.sh

Add jobs and scripts running external tests for Gnosis v2

2020-12-07 14:09:18 +01:00

InteractiveTests.h

Run SMTChecker tests on all EVM versions

2021-03-23 12:51:52 +01:00

Metadata.cpp

Enable the -Wconversion warning

2020-12-08 16:45:24 +00:00

Metadata.h

Add SPDX license identifier if not present already in source file

2020-07-17 20:24:12 +05:30

pyscriptTests.py

Add a script for running the Python test suites and include it in scripts/tests.sh

2021-01-22 13:37:40 +01:00

stopAfterParseTests.sh

Tests: Do not remove filename from boost filesystem path for corner

2021-02-22 10:32:41 +01:00

TestCase.cpp

Replace raw throw with BOOST_THROW_EXCEPTION.

2021-02-18 20:23:59 -05:00

TestCase.h

Implementing enforcing gas expectations in isoltest.

2021-03-09 21:26:45 +01:00

TestCaseReader.cpp

Replaced keys, values and reverse with ranges

2021-03-31 23:33:04 +05:30

TestCaseReader.h

Add corpus based multi source fuzzer

2020-07-21 13:43:29 +02:00