c4-project / c4f

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

make_conf: support passing a Herd C model #154

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

By default, make_conf doesn't tell Herd to use a particular C model, ie the c11_lahav.cat in the ACT directory. This means that there's a mismatch between the Herd model and the Memalloy one, causing weird behaviour (mainly, I think?, in the form of Memalloy generating racy code and Herd rejecting it as UB? though this almost seems like it should be the case, huh.)

It's probably best if the user/Dockerfile can help make_conf out here.

MattWindsor91 commented 4 years ago

Fixed a while ago but forgot to tick off.