Commit Graph

3 Commits

Author SHA1 Message Date
Alexander Arlt
0783ad9000 [test] Update tests to include location string. 2022-04-01 23:41:18 -05:00
Leo Alt
0cc9162fb5 Update SMTChecker tests 2021-08-27 16:25:09 +02:00
Leo Alt
a55685c04f Erase balances when delegatecall is seen 2021-08-25 12:39:26 +02:00