This leads to the amusing situation where, for example, a bool is generated with its initial value set to -1, and then the fuzzer generates lots of comparisons from that bool to -1, which in turn seem to cause erroneous behaviour.
It's likely that this isn't getting properly flagged at Litmus harness compile-time because Litmus thinks everything is an int: see #122.
This leads to the amusing situation where, for example, a bool is generated with its initial value set to
-1
, and then the fuzzer generates lots of comparisons from that bool to-1
, which in turn seem to cause erroneous behaviour.It's likely that this isn't getting properly flagged at Litmus harness compile-time because Litmus thinks everything is an
int
: see #122.