search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
13 stars 1 forks source link

Make c-litmus use -ascall flag #173

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

litmus7's -ascall flag tells it to wrap test bodies in function calls, in much the same way as we implement c_litmus_indirect (but less… indirectly).

Ideally, the act backend system should be able to supply -ascall as and when needed (ie not during c_litmus_indirect. Working out a sufficiently abstract way of doing this sounds like Fun.

MattWindsor91 commented 4 years ago

This is sort of addressed in the first instance by backends now supporting argv, and I'm intending to make a Litmus wrapper that'll automatically decide to use ascall if it spots that the incoming test has returns.