Rename success to normal and notcovered to incomplete in colis command

colis-anr · Feb 19, 2020 · 760c533 · 760c533
1 parent 5a758ae
commit 760c533
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/colis.ml b/src/colis.ml
@@ -244,16 +244,16 @@ let print_symbolic_states ~initials (normals, errors, failures) =
     printf "* Initial states@\n";
   List.iter (print_symbolic_state_with_ctr "initial" (ref 1) Format.std_formatter) initials;
   if normals <> [] then begin
-    printf "* Success states@\n";
-    List.iter (print_symbolic_state_with_ctr "success" (ref 1) Format.std_formatter) normals;
+    printf "* Normal states@\n";
+    List.iter (print_symbolic_state_with_ctr "normal" (ref 1) Format.std_formatter) normals;
   end;
   if errors <> [] then begin
     printf "* Error states@\n";
     List.iter (print_symbolic_state_with_ctr "error" (ref 1) Format.std_formatter) errors;
   end;
   if failures <> [] then begin
     printf "* Incomplete symbolic execution@\n";
-    List.iter (print_symbolic_state_with_ctr "notcovered" (ref 1) Format.std_formatter) failures;
+    List.iter (print_symbolic_state_with_ctr "incomplete" (ref 1) Format.std_formatter) failures;
   end;
   printf "* Summary@\n@\n";
   printf "- Success cases: %d@\n" (List.length normals);