Skip to content

Add descriptions of assert and assume to PSA specification - #1187

Open
jfingerh wants to merge 1 commit into
p4lang:mainfrom
jfingerh:add-assert-assume-to-document
Open

Add descriptions of assert and assume to PSA specification#1187
jfingerh wants to merge 1 commit into
p4lang:mainfrom
jfingerh:add-assert-assume-to-document

Commits

Commits on Nov 13, 2022