search

ftsrg / gazer

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

Support SV-COMP ReachSafety-Arrays with Theta #77

Open hajduakos opened 3 years ago

hajduakos commented 3 years ago

Theta does have some support for arrays thanks to @as3810t, but I'm not sure if translation in Gazer is implemented.