proof-specs: Cleanup reporting v1 PROPOSED

Remco van 't Veer: 1
 Cleanup reporting

 1 files changed, 8 insertions(+), 8 deletions(-)

[PATCH proof-specs] Cleanup reporting Export this patch

---
 src/nl/jomco/proof_specs.clj | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/nl/jomco/proof_specs.clj b/src/nl/jomco/proof_specs.clj
index 1e4297d..4302b6e 100644
--- a/src/nl/jomco/proof_specs.clj
+++ b/src/nl/jomco/proof_specs.clj
@@ -151,11 +151,11 @@
                          [k v]))
                      (partition 2 args))
         {:keys [specs problems]} (apply proof-specs opts)]
-    (when problems
-      (println "Problems generating data for" (count problems) "out of" (count specs) "specs:")
-      (run! println (sort (keys problems)))
-      (println)
-      (prn problems)
-      (System/exit 1))
-    (println "No problems generating data for" (count specs) "specs.")
-    (shutdown-agents)))
+    (if problems
+      (do
+        (println "Problems generating data for" (count problems) "out of" (count specs) "specs:")
+        (run! println (sort (keys problems)))
+        (println)
+        (prn problems))
+      (println "No problems generating data for" (count specs) "specs."))
+    (System/exit (if problems 1 0))))

base-commit: dd713716c650f1459cacde2cb266a3fb9c1c80ce

Joost Diepenmaat <joost@jomco.nl>

2 years ago

-- 
2.36.1

Joost Diepenmaat <joost@jomco.nl>

2 years ago

Applied

Remco van 't Veer <remco@remworks.net> writes: