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

197470a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-commit-count
succeeded Sep 25, 2026 in 3s