Remove unused fields, readd edges toReachabilityResult

Ecdar · Oct 19, 2022 · ce77f23 · ce77f23
1 parent 506305d
commit ce77f23
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/query.proto b/query.proto
@@ -38,31 +38,25 @@ message QueryResponse {
 
     message RefinementResult {
       bool success = 1;
-      repeated State relation = 2;
-      string reason = 3;
-      State state = 4;
+      string reason = 2;
     }
-
     message ComponentResult { Component component = 1; }
     message ConsistencyResult {
       bool success = 1;
       string reason = 2;
-      State state = 3;
     }
     message DeterminismResult {
       bool success = 1;
       string reason = 2;
-      State state = 3;
     }
     message ImplementationResult {
       bool success = 1;
       string reason = 2;
-      State state = 3;
     }
     message ReachabilityResult {
       bool success = 1;
       string reason = 2;
-      State state = 3;
+      repeated Edge edges = 3;
     }
 
     oneof result {