From cc387f96dcdfc01adffb2f52859c72ec79989100 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@data61.csiro.au>
Date: Sat, 30 Jun 2018 16:02:52 +0200
Subject: [PATCH] Isabelle2018: AsmRefine currently only for 32bit platforms

---
 run_tests | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/run_tests b/run_tests
index 71fb2a3ad..58094cf5a 100755
--- a/run_tests
+++ b/run_tests
@@ -72,7 +72,8 @@ EXCLUDE["X64"]=[
     "DBaseRefine",
     "DSpec",
     "SepTacticsExamples",
-    "SimplExportAndRefine"]
+    "SimplExportAndRefine",
+    "AsmRefine"]
 
 EXCLUDE["RISCV64"]=[
     "ASpec",
@@ -81,7 +82,8 @@ EXCLUDE["RISCV64"]=[
     "CKernel",
     "CSpec",
     "CamkesDarpaReport",
-    "CamkesGlueProofs"
+    "CamkesGlueProofs",
+    "AsmRefine"
 ]
 
 # Check EXCLUDE is exhaustive over the available architectures