Added init support to SMV back-end
authorClifford Wolf <clifford@clifford.at>
Fri, 19 Jun 2015 14:43:02 +0000 (16:43 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 19 Jun 2015 14:43:02 +0000 (16:43 +0200)
commit3123c454153f1d40a3839ffe1791de5c2d048693
treeb6a7e1dee5de1dc1291933586c524245244dee0f
parent6c6bf4999e9d8c2c61a04552deaec8b2569fc18c
Added init support to SMV back-end
backends/smv/smv.cc