Add "rand" and "rand const" verific support
authorClifford Wolf <clifford@clifford.at>
Thu, 9 Feb 2017 11:53:46 +0000 (12:53 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 9 Feb 2017 11:53:46 +0000 (12:53 +0100)
commit2ca8d483dde46e72f17f862ca117e2dd944e9709
tree87b0650170cc0b861812e510ea0dd67fb7610da1
parentef4a28e112be10d3d62395f68e53e8b7e42dbf68
Add "rand" and "rand const" verific support
frontends/verific/verific.cc