ftsrg / gazer

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

Some larger fixes #67

Closed sallaigy closed 3 years ago

sallaigy commented 3 years ago

This PR adds fixes for several issues: #62 #63 #64 #65 #66

It also fixes an issue with printing array literal expressions and makes having default values mandatory for array literals.