Skip to content

Mirror bvugt/bvuge/bvsgt/bvsge onto bvult/bvule/bvslt/bvsle - #799

Open
the-mr-dave wants to merge 3 commits into
devfrom
wip/rvde/mirror-greater-comparisons
Open

Mirror bvugt/bvuge/bvsgt/bvsge onto bvult/bvule/bvslt/bvsle#799
the-mr-dave wants to merge 3 commits into
devfrom
wip/rvde/mirror-greater-comparisons

Move operator-mirroring tests into UltimateNormalFormTest

c677116
Select commit
Loading
Failed to load commit list.
Ultimate Jenkins CI / Tests / Build and run basic tests succeeded Sep 8, 2026 in 0s

No test results found

No test results found

Details