Adding SMT2 queries from hevm symbolic execution framework running on the eth-sc-comp set
#55
hansjoergschurrcheck-pull-request.yml
on: pull_request
basic-checks
43s
check-with-dolmen
0s
Annotations
1 error
|
basic-checks
Process completed with exit code 1.
|