Add verific support for initialized variables
authorClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 10:40:18 +0000 (11:40 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 10:40:18 +0000 (11:40 +0100)
commitfa4a7efe15ccfca6c8200107284d02ee4ddabb9c
tree9743dac9b8a163f083eb493a838d0ef4cd5f55ed
parent0b7aac645c482e9f8e80fb74b61b5c9c6c378857
Add verific support for initialized variables
frontends/verific/verific.cc