Will add unit tests for Properties such as hasXEqualsY and onlyExistsForallPrefix (a draft for now) - #779
Open
quickbeam123 wants to merge 2 commits into
Open
Will add unit tests for Properties such as hasXEqualsY and onlyExistsForallPrefix (a draft for now)#779quickbeam123 wants to merge 2 commits into
quickbeam123 wants to merge 2 commits into
Commits
Commits on Mar 9, 2026
- authored andcommitted
- committed
