c4-project / c4f

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

Litmusify: infer compiler spec from directory or vice versa #26

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 6 years ago

If a litmusify (or explain) run is reading an assembly file from a memalloy run, it’s redundant to specify both the compiler spec and the directory tree. We could infer one from the other, though I’m unsure which one to use.

MattWindsor91 commented 3 years ago

No longer relevant after things moved to c4t - closing