Skip to content

Add support of exception in Hoare logic for command rnd - #1136

Open
lyonel2017 wants to merge 1 commit into
mainfrom
feature-exception-hl-rnd
Open

Add support of exception in Hoare logic for command rnd#1136
lyonel2017 wants to merge 1 commit into
mainfrom
feature-exception-hl-rnd

Add support of exception in Hoare logic for command rnd

6631ebe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-commit-count
succeeded Sep 11, 2026 in 5s