Use ValidityResult for additional clarity

runtimeverification · Aug 8, 2023 · 839fe34 · 839fe34
1 parent 32dbb64
commit 839fe34
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/kore-rpc-types/src/Kore/JsonRpc/Types.hs b/kore-rpc-types/src/Kore/JsonRpc/Types.hs
@@ -180,13 +180,23 @@ data GetModelResult = GetModelResult
 data SimplifyImplicationResult = SimplifyImplicationResult
     { satisfiable :: SatResult
     , substitution :: Maybe KoreJson
+    { valid :: ValidityResult
     , logs :: Maybe [LogEntry]
     }
     deriving stock (Generic, Show, Eq)
     deriving
         (FromJSON, ToJSON)
         via CustomJSON '[OmitNothingFields, FieldLabelModifier '[CamelToKebab]] SimplifyImplicationResult
 
+data ValidityResult
+    = Valid
+    | Invalid
+    | ValidityUnknown
+    deriving stock (Generic, Show, Eq)
+    deriving
+        (FromJSON, ToJSON)
+        via CustomJSON '[] ValidityResult
+
 data SatResult
     = Sat
     | Unsat