dapptools icon indicating copy to clipboard operation
dapptools copied to clipboard

Published 20 hours ago • verified publisher icon dapphub

Dynamic buffers via SMT lists

Open MrChico opened this issue 5 years ago • 1 comments

Replaces #491

MrChico avatar Sep 07 '20 15:09 MrChico

getting annoying, mysterious errors in the communication with the solver and sbv

*** Data.SBV: Unexpected response from the solver, context: push:
***
***    Sent      : (push 1)
***    Expected  : success
***    Received  : (error "line 4036 column 7: canceled")
***
***    Executable: /nix/store/i0rqzy3avr6mdbggr28kk91igdripvnn-z3-4.8.8/bin/z3
***    Options   : -nw -in -smt2

MrChico avatar Sep 16 '20 14:09 MrChico