Assertion: smack | /r/HasProperty | translator
Facets:
value: under the hood
type: OTHER
value: into the boogie intermediate verification language
type: OTHER
Source sentences:
text: Under the hood, SMACK is a translator from the LLVM compiler's popular intermediate representation (IR) into the Boogie intermediate verification language (IVL).