search

c4-project / c4t

Runs concurrent C compiler tests
MIT License
1 stars 0 forks source link

Add litmus harness patching-up #9

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

Something that's presently blocking testing the tester is the fact that litmus7 doesn't insert stdbool references into its harness. It might be easiest to fix this by adding an extra stage to the lifting process that filters through the harnesses and makes sure that they have this set up.

For more complicated things, like the c_litmus_indirect approach, it'll probably be easier to make a new backend program that wraps Litmus. But we can cross that bridge when we come to it.

MattWindsor91 commented 4 years ago

Fixed in e9e237892c9504bfbb063882ab98b1d5b283b8c8.