Skip to content

Fix broken proof tree after information flow auto pilot#3911

Merged
unp1 merged 1 commit into
mainfrom
bubel/issue-3713-infflow-tree
Jul 10, 2026
Merged

Fix broken proof tree after information flow auto pilot#3911
unp1 merged 1 commit into
mainfrom
bubel/issue-3713-infflow-tree

Fix broken proof tree after information flow auto pilot (#3713)

bb0dcf0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testProveRules, ubuntu-latest, 21)
succeeded Jul 10, 2026 in 2m 31s