Skip to content

add total number of runs to logs & small fixes#72

Merged
PhilippeMoussalli merged 3 commits intomainfrom furthertestsJan 18, 2024