Litmus7 doesn't emit atomic_ints properly

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Litmus7 doesn't emit atomic_ints properly #122

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 5 years ago

When playing around with the object-code splitmus in my object-file-support branch, @johnwickerson and I noticed that litmus7, even in -c11 true mode, doesn't output atomic_ints. It's unclear as to whether this is ACT's problem or Litmus7's, but I'm making an issue here to track it.

MattWindsor91 commented 4 years ago

When using c_litmus_indirect, this is no longer a problem, and so I'm closing this. (It's still a problem in obj_splitmus.

MattWindsor91 commented 4 years ago

)