Matheus Aguiar 969aea6d33 Added new kind of test: check for specific properties of AST

2023-08-21 12:37:40 -03:00

..

ossfuzz

Use printErrorInformation() over printExceptionInformation() where possible

2023-08-11 14:15:56 +02:00

yulInterpreter

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

afl_fuzzer.cpp

CommonIO: Replace readStandardInput() with readUntilEnd() with a configurable stream

2021-07-02 14:58:30 +02:00

CMakeLists.txt

Added new kind of test: check for specific properties of AST

2023-08-21 12:37:40 -03:00

fuzzer_common.cpp

Add --print-smt flag to output SMTChecker SMTLIB code

2023-06-16 14:04:07 +02:00

fuzzer_common.h

Unify solc fuzzers.

2021-02-08 11:14:38 +01:00

isoltest.cpp

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

IsolTestOptions.cpp

Remove obsolete enforce-via-yul logic and CI run.

2022-05-19 20:23:28 +02:00

IsolTestOptions.h

Removed pointer to external editor resource in IsolTestOptions, changed TestTool::handleResponse() to get editor value from m_options member variable

2021-09-21 14:12:26 -05:00

yulopti.cpp

Remove ReasoningBasedSimplifier from libyul

2023-06-28 14:38:36 +02:00

yulrun.cpp

Add experimental EOF options for CLI and Standard JSON.

2022-11-23 19:53:44 +01:00