search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
225 stars 61 forks source link

[litmus] Fix sve+qemu litmus configuration file #850

Closed maranget closed 5 months ago

maranget commented 5 months ago

Fix unfortunate typo and a lacking eol at the end.