Commit Graph

2 Commits

Author SHA1 Message Date
Bhargava Shastry
0534f62df2 Remove trailing whitespace and fix spelling errors. 2021-04-30 01:00:59 +02:00
Bhargava Shastry
2bf883acea Gnosis safe contracts flattened test that triggers a stack-overflow inside SMTChecker. 2021-04-30 01:00:59 +02:00