You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
During the break, I started an implementation of backend probing for automatically generating
tester.toml
files. I implemented rudimentary probing fordelitmus
(andrmem
I think?), but never finished implementing this.I think this would mainly consist of implementing similar probing for
litmus7
andherd7
, and maybe actually doing something useful in re checking versions.The text was updated successfully, but these errors were encountered: