search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Witness generation patch #56

Closed AdamZsofi closed 4 years ago

AdamZsofi commented 4 years ago

This patch adds some missing key definitions to the violation witnesses.