search

dgpv / bsst

B'SST: Bitcoin-like Script Symbolic Tracer
Other
32 stars 5 forks source link

Number of witnesses might be reported incorrectly with Z3 disabled #2

Closed dgpv closed 1 year ago

dgpv commented 1 year ago

Fixed in https://github.com/dgpv/bsst/commit/92cbd3b4a41f10577b9a69018edd0a8f7cd6909d

dgpv commented 1 year ago

Will leave issue open until next version is tagged

dgpv commented 1 year ago

Version v0.1.1 is released that includes this fix.