protostar icon indicating copy to clipboard operation
protostar copied to clipboard

Report falsifying fuzz inputs as felts, not Python integers

Open mkaput opened this issue 3 years ago • 0 comments

[falsifying example]:
x = -1

is incorrect, it should report a value equal to PRIME - 1

mkaput avatar Aug 12 '22 08:08 mkaput