This repository was archived by the owner on Jul 8, 2024. It is now read-only.
This repository was archived by the owner on Jul 8, 2024. It is now read-only.
SMV-AV: Option to SMV to only add procedures in source file in a CFG #24
Needed to create CFGs for Azure and Chakra, as discussed. In other words, don't put body of procedures in header files in the CFG.