solidity/test/libsolidity
Leonardo db9aa36d6c
Merge pull request #10567 from blishko/unary-operators-fix
[SMTChecker] Fix CHC analysis of increment/decrement
2020-12-11 18:52:12 +01:00
..
ABIJson Use new abicoder pragma. 2020-11-24 14:57:45 +01:00
ASTJSON Support .offset and .length for calldata bytes and string arrays. 2020-11-18 01:45:56 +01:00
errorRecoveryTests Update existing tests. 2020-10-08 18:56:17 +02:00
gasTests Use new abicoder pragma. 2020-11-24 14:57:45 +01:00
semanticTests Fix copying byte arrays from storage to storage. 2020-12-10 21:47:37 +01:00
smtCheckerTests [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine 2020-12-11 17:41:50 +01:00
syntaxTests Improved error messages when converting to/from builtin functions 2020-12-10 22:38:15 +00:00
util Enable more C++ compiler warnings 2020-12-10 21:03:58 +00:00
ABIDecoderTests.cpp Replace the inconsistent use of u160/Address/h160 with h160 only 2020-12-07 16:44:59 +01:00
ABIEncoderTests.cpp Replace the inconsistent use of u160/Address/h160 with h160 only 2020-12-07 16:44:59 +01:00
ABIJsonTest.cpp
ABIJsonTest.h
ABITestsCommon.h
AnalysisFramework.cpp Complete error coverage of Parser and SyntaxChecker 2020-09-29 16:07:02 +02:00
AnalysisFramework.h Complete error coverage of Parser and SyntaxChecker 2020-09-29 16:07:02 +02:00
Assembly.cpp Simplify Compiler/CompilerContext by removing extra layers of indirection 2020-12-11 14:43:51 +00:00
ASTJSONTest.cpp Properly print sources in ASTJSONTest 2020-12-11 15:28:54 +00:00
ASTJSONTest.h Stop after parsing. 2020-09-30 16:57:49 +02:00
constructor_inheritance_init_order_3.sol [Sol->Yul] Documenting difference in initialization order in case of inheritance. 2020-12-04 16:32:56 +01:00
ErrorCheck.cpp
ErrorCheck.h
GasCosts.cpp Use cbor metadata in gas cost tests. 2020-07-28 23:42:22 +02:00
GasMeter.cpp Eliminates dead code around GasEstimator 2020-10-07 13:31:40 +02:00
GasTest.cpp
GasTest.h
Imports.cpp
InlineAssembly.cpp Moving the surplus_input inline assembly test to yulSyntaxTests. 2020-11-04 12:03:33 +01:00
LibSolc.cpp
Metadata.cpp Add viaIR option to CompilerStack 2020-11-12 22:34:31 +00:00
SemanticTest.cpp Empty storage option for isoltest. 2020-10-29 13:55:07 +01:00
SemanticTest.h Add support for ewasm evmc vm. 2020-09-08 12:41:42 -05:00
SemVerMatcher.cpp Enable more C++ compiler warnings 2020-12-10 21:03:58 +00:00
SMTCheckerTest.cpp Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
SMTCheckerTest.h Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
SolidityCompiler.cpp
SolidityEndToEndTest.cpp Add more tests for state access (block, msg, tx, etc.) 2020-12-09 20:46:01 +00:00
SolidityExecutionFramework.cpp Use new abicoder pragma. 2020-11-24 14:57:45 +01:00
SolidityExecutionFramework.h Add support for ewasm evmc vm. 2020-09-08 12:41:42 -05:00
SolidityExpressionCompiler.cpp Simplify Compiler/CompilerContext by removing extra layers of indirection 2020-12-11 14:43:51 +00:00
SolidityNameAndTypeResolution.cpp Use new abicoder pragma. 2020-11-24 14:57:45 +01:00
SolidityNatspecJSON.cpp Natspec: Fix internal error when different return name was inherited 2020-11-17 11:56:32 +01:00
SolidityOptimizer.cpp Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
SolidityParser.cpp Var is reserved keyword. 2020-10-06 15:08:57 +02:00
SolidityTypes.cpp Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
StandardCompiler.cpp StandardCompiler: Include file names in link references 2020-11-17 17:51:04 +01:00
SyntaxTest.cpp Report an error if immutables not assigned 2020-07-23 16:38:54 +02:00
SyntaxTest.h Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
ViewPureChecker.cpp