Merged
Added a test that sjtc correctly aborts on violation of constraints (backport #810)#813
Commits
Commits on Sep 20, 2023
- authored andcommitted

- authored andcommitted
