This thread contains a patchset. You're looking at the original emails,
but you may wish to use the patch review UI.
Review patch
1
[PATCH proof-specs] Cleanup reporting
---
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
--
2.36.1
Applied
Remco van 't Veer <remco@remworks.net> writes:
> ---
> 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
06-46043737