During the break, I started an implementation of backend probing for automatically generating tester.toml files. I implemented rudimentary probing for delitmus (and rmem I think?), but never finished implementing this.
I think this would mainly consist of implementing similar probing for litmus7 and herd7, and maybe actually doing something useful in re checking versions.
During the break, I started an implementation of backend probing for automatically generating
tester.tomlfiles. I implemented rudimentary probing fordelitmus(andrmemI think?), but never finished implementing this.I think this would mainly consist of implementing similar probing for
litmus7andherd7, and maybe actually doing something useful in re checking versions.