Merge pull request #279 from tomhea/hotfix/small-improvements

support keyboard interrupt in fjm_run

flipjump/interpretter/fjm_run.py

@@ -196,6 +196,8 @@ def run(
         return TerminationStatistics(statistics, TerminationCause.RuntimeMemoryError)
     except FlipJumpException as fj_exception:
         raise fj_exception
+    except KeyboardInterrupt:
+        return TerminationStatistics(statistics, TerminationCause.KeyboardInterrupt)
     except Exception as unknown_exception:
         raise FlipJumpRuntimeException(
             "Unknown exception during running an .fjm file, please report this bug"

flipjump/utils/classes.py

@@ -19,9 +19,19 @@ class TerminationCause(IntEnum):
     UnalignedOp = 4
     # Finished by trying to read/write something out of the defined memory (probably a bug in the fj-program)
     RuntimeMemoryError = 5
+    # Finished by keyboard interrupt from the user
+    KeyboardInterrupt = 6
 
     def __str__(self) -> str:
-        return ['looping', 'EOF', 'ip<2w', 'unaligned-word', 'unaligned-op', 'runtime-memory-error'][self.value]
+        return [
+            'looping',
+            'EOF',
+            'ip<2w',
+            'unaligned-word',
+            'unaligned-op',
+            'runtime-memory-error',
+            "keyboard-interrupt",
+        ][self.value]
 
 
 class PrintTimer: