Internal act command to rewrite parts of a litmus test header

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Internal act command to rewrite parts of a litmus test header #143

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

The current approach (using act-c dump-header, an external script, and act-c replace-header) works ok, but if we solve #142 by doing header surgery it's going to become very cumbersome to keep emitting and consuming JSON. Adding this as another tool will make things a bit simpler, and the fact that it'll be used for two different operations IMO makes it worthwhile.

MattWindsor91 commented 5 years ago

Forgot to close; this is now act-c modify-header.