aboutsummaryrefslogtreecommitdiffhomepage
path: root/src-cslul/testgen/runmany.sh
AgeCommit message (Expand)AuthorFilesLines
2023-07-29Increase max tree depth to 2^25 (= ~16.8 million idents). Fix testgenSamuel Lidén Borell1-3/+4
2021-12-04Add more templates to testgen + script to run several iterationsSamuel Lidén Borell1-0/+52