protostar
protostar copied to clipboard
Report falsifying fuzz inputs as felts, not Python integers
[falsifying example]:
x = -1
is incorrect, it should report a value equal to PRIME - 1