This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
Give diagnostic in default mode when a root function has call with false precondition and unknown path cond#1184
Merged
hermanventer merged 1 commit intomainfrom false_preconSep 19, 2022
+41-8
