Solidity verifier revisit #210
nullteaAnnotations
1 error and 1 warning
|
build-and-test
Process completed with exit code 1.
|
|
build-and-test
Unexpected input(s) 'override', valid inputs are ['toolchain', 'targets', 'target', 'components']
|