splitmus: accept object file stubs

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

splitmus: accept object file stubs #109

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

As well as being able to generate assembly stubs through act asm gen-stubs for insertion into Litmus tests, splitmus (or a variant thereof!) should be able to accept object files and generate the changes necessary to insert them into a Litmus harness.

MattWindsor91 commented 5 years ago

Depends on issues #108 and #107.

MattWindsor91 commented 5 years ago

This is the obj_splitmus script, which has now replaced splitmus.