c4-project / c4f

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

Consider merging `litmusify` and `test` #82

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

It's somewhat confusing that we now have two different workflows for compiling a C litmus test and checking the results: act test, which is multi-file multi-compiler, and act litmusify, which is single-file single-compiler. The two are slowly starting to converge on the same feature set, which makes me wonder if they should be merged at some point down the road.

This'd involve act test gaining the following features, many of which are already planned:

MattWindsor91 commented 5 years ago

Dropping this, because act test doesn't exist anymore, and act litmusify no longer compiles anything.