Skip to content

install_cbmc.sh: install as package if building from source#2878

Merged
adpaco-aws merged 2 commits intomodel-checking:mainfrom bennofs:install-build-as-debNov 18, 2023
+2-1

Commits

Commits on Nov 14, 2023

Commits on Nov 18, 2023