$assert->debug() displays the wrong value #114
Metadata
Metadata
Assignees
Labels
Type
Fields
No fields configured for issues without a type.
{{ message }}
$assert->debug() displays the wrong value #114
When blackbox shrinks a proof and it uses
$assert->debug()then the displayed values are the ones from the shrunk proof that pass instead of the last failing one.