proper condition: z3 could be absent, e.g. on arm64-linux;
authorwenzelm
Mon, 10 May 2021 14:28:37 +0200
changeset 73910 6e85281177df
parent 73909 d9823224fcfe
child 73911 26a1d66b9077
proper condition: z3 could be absent, e.g. on arm64-linux;
src/HOL/ROOT
--- a/src/HOL/ROOT	Mon May 10 12:23:30 2021 +0200
+++ b/src/HOL/ROOT	Mon May 10 14:28:37 2021 +0200
@@ -953,9 +953,10 @@
     Boogie
     SMT_Examples
     SMT_Word_Examples
-    SMT_Tests
+    SMT_Examples_Verit
     SMT_Tests_Verit
-    SMT_Examples_Verit
+  theories [condition = Z3_SOLVER]
+    SMT_Tests
 
 session "HOL-SPARK" in "SPARK" = HOL +
   sessions