🌍 #318 Optimize shrinking for "any list over count" counterexample#319

nth-commit merged 1 commit into

masternth-commit/GalaxyCheck:masterfrom

terra/list-shrinking-optimizationnth-commit/GalaxyCheck:terra/list-shrinking-optimizationCopy head branch name to clipboard