cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
d0e8ae3aa550e726c910cf7eff70bfff04fa2999
solidity/test/libsolidity/smtCheckerTests
T
History
Leonardo Alt 034d1ab90f [SMTChecker] Replace constants by their value in-place
2020-12-18 14:22:28 +01:00
..
abi
Add and update tests
2020-12-17 14:42:49 +01:00
array_members
Add and update tests
2020-12-17 14:42:49 +01:00
blockchain_state
Add and update tests
2020-12-17 14:42:49 +01:00
bmc_coverage
[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine
2020-12-11 17:41:50 +01:00
complex
Add and update tests
2020-12-17 14:42:49 +01:00
control_flow
Add and update tests
2020-12-17 14:42:49 +01:00
crypto
Add and update tests
2020-12-17 14:42:49 +01:00
external_calls
Add and update tests
2020-12-17 14:42:49 +01:00
file_level
Do not run SMTChecker when file level functions/constants are present.
2020-12-09 12:18:55 +01:00
function_selector
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
functions
Add and update tests
2020-12-17 14:42:49 +01:00
imports
[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine
2020-12-11 17:41:50 +01:00
inheritance
Add and update tests
2020-12-17 14:42:49 +01:00
inline_assembly
[SMTChecker] report SMTEncoder warnings also via CHC
2020-11-03 16:06:17 +00:00
invariants
[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine
2020-12-11 17:41:50 +01:00
loops
Add and update tests
2020-12-17 14:42:49 +01:00
math
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
modifiers
[SMTChecker] Fix analysis of overriding modifiers
2020-12-17 17:05:54 +01:00
operators
Add and update tests
2020-12-17 14:42:49 +01:00
overflow
[SMTChecker] Replace constants by their value in-place
2020-12-18 14:22:28 +01:00
simple
[SMTChecker] Shortcut RationalNumber expressions
2019-03-11 12:53:49 +01:00
special
Add and update tests
2020-12-17 14:42:49 +01:00
typecast
Update tests
2020-12-14 19:32:31 +00:00
types
Add and update tests
2020-12-17 14:42:49 +01:00
verification_target
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00