Commit bf44e7a
fix(benchmarks): bind cddlib/regina and tighten provider Oracle evidence (#709)
* chore: ratchet C901 baseline after remaining provider bindings
Co-authored-by: morluto <morluto@users.noreply.github.com>
* chore: regenerate C901 baseline after provider verifier binding
Co-authored-by: morluto <morluto@users.noreply.github.com>
---------
Co-authored-by: Cursor Agent <cursoragent@cursor.com>
Co-authored-by: morluto <morluto@users.noreply.github.com>1 parent 41504be commit bf44e7a
24 files changed
Lines changed: 1559 additions & 36 deletions
File tree
- benchmarks
- datasets/provider-feasibility-v1
- cddlib/tests
- cgal/tests
- gudhi
- environment
- solution
- tests
- nauty/tests
- regina/tests
- validation
- tools
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
0 commit comments