search

c4-project / c4f

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

Tester: remove ability to skip delitmus round #117

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

The tester currently has an option of skipping a run of delitmus and instead reading the C file directly from another source. This was the tester's original mode, and corresponds to the situation where one is running the tester directly on Memalloy output (which has both files available).

The problem is that the tester then has to somehow come up with a delitmus auxiliary record describing the information that was in the litmus test. This would involve parsing in the litmus file, at which point it's honestly easier to just delitmus that file.

Doing this would remove another code path from ACT that isn't particularly well used anymore (since usually we put the Memalloy output through a round of fuzzing), and simplify the tester.

MattWindsor91 commented 5 years ago

I'm planning to rewrite the tester anyway (either in python or in shell, I haven't decided which would be easiest yet), so the new tester deliberately won't support this.

MattWindsor91 commented 5 years ago

Closing because the old tester is gone and the new one doesn't have this =p