This repository has been archived by the owner on Sep 16, 2023. It is now read-only.

smack-wllvm

SMACK's wrapper to WLLVM (https://github.com/travitch/whole-program-llvm) that adds SMACK-specific flags.