SMACK's wrapper to WLLVM (https://github.com/travitch/whole-program-llvm) that adds SMACK-specific flags.
This repository was archived by the owner on Sep 16, 2023. It is now read-only.
smackers/smack-wllvm
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|