disasm-test: Make treatment of assumed parameters more precise

This ensures that we do not run test cases with assumed `tasty-sugar` parameters multiple times with later LLVM versions.
GaloisInc · Apr 3, 2023 · 5e746c4 · 5e746c4
1 parent 01ffc19
commit 5e746c4
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/disasm-test/Main.hs b/disasm-test/Main.hs
@@ -307,7 +307,11 @@ runTest llvmVer sweet expct
  ]
  in case lookup "llvm-range" (TS.expParamsMatch expct) of
  Just (TS.Explicit v) -> specMatchesInstalled v
- Just (TS.Assumed v) -> specMatchesInstalled v
+ Just (TS.Assumed v)
+ | v == "pre-llvm11" || v == "at-least-llvm12"
+ -> specMatchesInstalled v
+ | otherwise
+ -> False
  _ -> error "llvm-range unknown"
 
 -- | Assemble some llvm assembly, producing a bitcode file in /tmp.