From 807bd2a5e9ff3cb96bd83b0bb675977e4860447f Mon Sep 17 00:00:00 2001
From: Alastair Reid
Date: Thu, 28 Jun 2018 11:40:25 +0100
Subject: Main: exit if you hit IMPDEF behaviour

If you don't exit immediately, the test will probably just jump off into the
weeds and stay there until it times out.  So better to exit early.

But note that this is not all IMPDEF behaviour.
Most IMPDEF such as 'Are SHA3 crypto instructions available?' are already
being handled and either TRUE or FALSE is being returned.
So this is just for the stuff where we don't have a good answer at all.
---
 aarch64/elfmain.sail | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/aarch64/elfmain.sail b/aarch64/elfmain.sail
index cb3edacc..152f4ed8 100644
--- a/aarch64/elfmain.sail
+++ b/aarch64/elfmain.sail
@@ -67,7 +67,8 @@ function Step_CPU() = {
             ()
           },
           Error_Implementation_Defined(s) => {
-            print(concat_str("Ignoring IMPLEMENTATION_DEFINED ", concat_str(s, "\n")));
+            print(concat_str("IMPLEMENTATION_DEFINED ", concat_str(s, "\n")));
+            exit();
           }
       }
   };
-- 
cgit v1.2.3