Files

.circleci
.github
cmake
deps
docs
libevmasm
liblangutil
libsmtutil
libsolc
libsolidity
libsolutil
libstdlib
libyul
scripts
snap
solc
test
- benchmarks
- cmdlineTests
- compilationTests
- contracts
- evmc
- externalTests
- formal
- libevmasm
- liblangutil
- libsolidity
  - ABIJson
  - ASTJSON
  - analysis
  - astPropertyTests
  - functionDependencyGraphTests
  - gasTests
  - interface
  - lsp
  - memoryGuardTests
  - natspecJSON
  - optimizedIRCaching
  - semanticTests
  - smtCheckerTests
    - abi
    - array_members
    - blockchain_state
    - bmc_coverage
    - bytes_concat
    - complex
    - control_flow
    - crypto
    - deployment
    - external_calls
    - file_level
    - function_selector
    - functions
    - imports
    - inheritance
    - inline_assembly
    - invariants
    - loops
    - math
    - modifiers
    - natspec
    - operators
    - options
    - out_of_bounds
    - overflow
    - simple
      - cex_smoke_test.sol
      - smoke_test.sol
      - static_array.sol
    - special
    - try_catch
    - typecast
    - types
    - unchecked
    - unsupported
    - userTypes
    - verification_target
  - syntaxTests
  - util
  - ABIDecoderTests.cpp
  - ABIEncoderTests.cpp
  - ABIJsonTest.cpp
  - ABIJsonTest.h
  - ABITestsCommon.h
  - ASTJSONTest.cpp
  - ASTJSONTest.h
  - ASTPropertyTest.cpp
  - ASTPropertyTest.h
  - AnalysisFramework.cpp
  - AnalysisFramework.h
  - Assembly.cpp
  - ErrorCheck.cpp
  - ErrorCheck.h
  - FunctionDependencyGraphTest.cpp
  - FunctionDependencyGraphTest.h
  - GasCosts.cpp
  - GasMeter.cpp
  - GasTest.cpp
  - GasTest.h
  - Imports.cpp
  - InlineAssembly.cpp
  - LibSolc.cpp
  - MemoryGuardTest.cpp
  - MemoryGuardTest.h
  - Metadata.cpp
  - NatspecJSONTest.cpp
  - NatspecJSONTest.h
  - OptimizedIRCachingTest.cpp
  - OptimizedIRCachingTest.h
  - SMTCheckerTest.cpp
  - SMTCheckerTest.h
  - SemVerMatcher.cpp
  - SemanticTest.cpp
  - SemanticTest.h
  - SolidityCompiler.cpp
  - SolidityEndToEndTest.cpp
  - SolidityExecutionFramework.cpp
  - SolidityExecutionFramework.h
  - SolidityExpressionCompiler.cpp
  - SolidityNameAndTypeResolution.cpp
  - SolidityOptimizer.cpp
  - SolidityParser.cpp
  - SolidityTypes.cpp
  - StandardCompiler.cpp
  - SyntaxTest.cpp
  - SyntaxTest.h
  - ViewPureChecker.cpp
- libsolutil
- libyul
- scripts
- solc
- tools
- yulPhaser
- .solhint.json
- .solhintignore
- CMakeLists.txt
- Common.cpp
- Common.h
- CommonSyntaxTest.cpp
- CommonSyntaxTest.h
- EVMHost.cpp
- EVMHost.h
- ExecutionFramework.cpp
- ExecutionFramework.h
- FilesystemUtils.cpp
- FilesystemUtils.h
- InteractiveTests.h
- Metadata.cpp
- Metadata.h
- TestCase.cpp
- TestCase.h
- TestCaseReader.cpp
- TestCaseReader.h
- buglistTests.js
- buglist_test_vectors.md
- cmdlineTests.sh
- docsCodeStyle.sh
- external_tests.py
- localeTest.sh
- lsp.py
- pyscriptTests.py
- soltest.cpp
- stopAfterParseTests.sh
tools
.clang-format
.codespellrc
.dockerignore
.editorconfig
.gitattributes
.gitignore
.gitmodules
.readthedocs.yml
CMakeLists.txt
CODE_OF_CONDUCT.md
CODING_STYLE.md
CONTRIBUTING.md
Changelog.md
LICENSE.txt
README.md
ReleaseChecklist.md
ReviewChecklist.md
SECURITY.md
funding.json

smoke_test.sol

and

Apr 20, 2021

1be07c2 · Apr 20, 2021