Martin Blicha
Results
22
issues of
Martin Blicha
## Steps to reproduce Run `isoltest` on a specific test (given below), trying to update it interactively to add gas usage to expected output: ```sh ./test/tools/isoltest --no-smt -t "semanticTests/deployedCodeExclusion/module_function_deployed*" --enforce-gas-cost...
bug :bug:
testing :hammer:
should compile without error
low effort
low impact
should have
Hi! It seems that Yices does not support constant arrays, is that correct? ``` (set-logic QF_ABV) (define-sort Byte () (_ BitVec 8)) (define-sort Word () (_ BitVec 256)) (define-sort Buf...