Step 4: Select litmus test

Optional: inspect .bell file
Show/Hide

Show/Hide
Step 3: Select CAT memory model
Optional: inspect config options

Step 5: Run Herd
Step 5: Run Herd