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

Commits

  1. Commits on Sep 25, 2026