search

c4-project / c4f

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

Separate litmusifier/sanitiser from assembly operations #97

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 5 years ago

The various act asm XYZ commands in act all bake in a notion of running the litmusifier (and, transitively, the sanitiser). This works at the moment, but makes it extremely difficult to implement assembly commands that operate directly on pre-litmusified ASM/litmus files.

Specifically, I'd like to be able to run asm gen-stubs on litmus tests; that way, we can use any future stub-based Litmus work directly as a simulator rather than having to do awkward side-stepping around act.

There's a branch tracking this.

MattWindsor91 commented 4 years ago

Closing this as we've dropped the sanitiser.