Skip to content

Universe Type Rules#3724

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

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

completed the addAnnotation variable condition

74e547e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
failed Jun 13, 2026 in 32m 56s