Litmusify: read herd path from spec

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Litmusify: read herd path from spec #27

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 6 years ago

Currently, sending a litmus file to herd through litmusify requires the -sendto /herd/command flag. When the used compiler spec already has a (herd /herd/command) stanza, this is redundant. Ideally, we should be able to omit the command in this case.

MattWindsor91 commented 5 years ago

This is moot now, since the compiler spec now contains a top-level (herd /herd/command) stanza.