~jomco/public-inbox

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

Details
Message ID
<20220623132427.14658-1-remco@remworks.net>
DKIM signature
missing
Download raw message
Patch: +8 -8
---
 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
Joost Diepenmaat <joost@jomco.nl>
Details
Message ID
<m2h74bqzd6.fsf@jomco.nl>
In-Reply-To
<20220623132427.14658-1-remco@remworks.net> (view parent)
DKIM signature
missing
Download raw message
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
Reply to thread Export thread (mbox)