To ease pandas interaction add function '<' to Satisfiability enum

symbolic_execution/language/bitcoin/symbolic_interpreter.py

@@ -44,6 +44,9 @@ class Satisfiability(Enum):
     def __str__(self) -> str:
         return self.name.lower()
 
+    def __lt__(self, other):
+        return str(self) < str(other)
+
 
 def __find_unlocking_script_timed(hex_script, return_dict, verbose, count_path):
     m = ""