Draft: added GNTau to default pflow dumps
1 unresolved thread
1 unresolved thread
Description
GNTau is now in our derivations, so we can dump it as default if we want. For now, I've opened this draft MR so I don't forget about it while I dump these and check they're okay. It then would just require updating our test files, and probably removing the tau-comp config.
Review checklist:
-
CI Passing -
Comments addressed -
Source branch is up to date with target
Merge request reports
Activity
Filter activity
Please register or sign in to reply