Add Tests that Test Properties of Sketches
Opened this issue · 0 comments
2over12 commented
Maintaining tests that use fixed type identifiers and expect concrete constraints has become impossible for larger test cases (ie. mooosl). These tests are currently disabled, we should check properties that we expect of these constraints and sketches