Fix Typographical Errors in Solidity Test Files#15873

Open

vtjl10 wants to merge 13 commits intoethereum:developfrom vtjl10:simple-1

+43-1

Commits on Feb 17, 2025

Updating copyright year to 2025

xiaobei0715
authored and
vtjl10
committed
fix typo

vtjl10
authored and
vtjl10
committed
fix typo

vtjl10
authored and
vtjl10
committed
fix typo

vtjl10
authored and
vtjl10
committed
fix typo

vtjl10
authored and
vtjl10
committed
Update TestFileParserTests.cpp

vtjl10
authored and
vtjl10
committed
typo fix
vtjl10
committed
typo fix
vtjl10
committed
SMTChecker: Allow printing queries for all solvers

blishko
authored and
vtjl10
committed
Add SWAPN/DUPN.

ekpyron
authored and
vtjl10
committed
ConstantEvaluator: Add tryEvaluate method that swallows errors

blishko
authored and
vtjl10
committed
SMTChecker: Ignore errors that might occur during constant evaluation

vtjl10
authored and
vtjl10
committed
Merge branch 'develop' into simple-1
vtjl10
authored