Skip to content

Universe Type Rules#3724

Draft
PiIsRational wants to merge 49 commits into
KeYProject:mainfrom
PiIsRational:ut-integration
Draft

Universe Type Rules#3724
PiIsRational wants to merge 49 commits into
KeYProject:mainfrom
PiIsRational:ut-integration

deactivated the universe rules

228a069
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
succeeded Jun 23, 2026 in 48m 38s