'One or more locations aren't in the init' when litmusifying fuzzer output

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Open MattWindsor91 opened 5 years ago

MattWindsor91 commented 5 years ago

It's hard, at the moment, to see what is causing this, and whether it's a problem in the fuzzer or the litmusifier.

MattWindsor91 commented 5 years ago

Ok, it looks like the lost variables are non-atomic ones that the fuzzer has added.