Commit graph

4 commits

Author SHA1 Message Date
Ayaz Hafiz
190990155e
Correctly introduce new openness variables at the union rank 2023-05-01 13:14:58 -05:00
Ayaz Hafiz
721d3836cd
Migrate even more tests 2023-04-20 16:18:23 -05:00
Ayaz Hafiz
7c14b78e5d
Migrate more tests 2023-04-20 16:18:23 -05:00
Ayaz Hafiz
9775d4f0ca
Move uitests 2023-04-20 16:18:23 -05:00