mirror of
https://github.com/n0-computer/noq.git
synced 2026-09-21 10:43:25 +00:00
Phoenix Kahlo
f642fa870e
The existing powerset check has problems: - It takes too long. - It failed to catch all the bugs fixed in the previous commit. This commit fixes it as such: - `--depth 3` is passed in which limits execution time. - `--group-features` groups are removed which would have caught the bugs fixed in the previous commit. - `--clean-per-run` is removed as it's no longer necessary and slows it down. Experimentation indicates that a depth of 3 takes roughly a few minutes to execute and catches bugs, whereas a depth of 4 takes roughly 40 minutes to run and does not catch any additional bugs.