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.

1 files changed, 2 insertions, 1 deletions

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();
           }
       }
   };