mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-05-13 03:00:26 -04:00
- Replace the rule which sets all degrees to that of main if it is static and use a CLI flag instead: `--degrees-mode` - Adjust tests to run mostly on vadcop - Tweak tests to reduce wasted rows