Log the sizes of the generated structures

maciej-bendkowski / boltzmann-brain

Analytic sampler compiler for combinatorial systems

BSD 3-Clause "New" or "Revised" License

30 stars 5 forks source link

Log the sizes of the generated structures #20

Closed Kerl13 closed 4 years ago

Kerl13 commented 4 years ago

Sometimes it's nice to have access to the sizes of the generated trees without having to parse the output. This patch adds one line of log (with verbosity level "info") with theses sizes.

What do you think about adding this to bb?

Kerl13 commented 4 years ago

Yes I agree, it would be cleaner to put it in the json. I'll amend the PR

maciej-bendkowski commented 4 years ago

Thanks, @Kerl13! The patch seems really fine :)