Added SMV back-end 'test_cells.sh' script
authorClifford Wolf <clifford@clifford.at>
Wed, 12 Aug 2015 10:56:20 +0000 (12:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 12 Aug 2015 10:56:20 +0000 (12:56 +0200)
commitf81bf9bdea7f99602bc2c7f0d43f1058a716508e
tree16ff66d3734b4793ad765d29f0cba3e3c7a55154
parent667b0150185d53578b002a00df9c4f347a35fed2
Added SMV back-end 'test_cells.sh' script
backends/smv/test_cells.sh [new file with mode: 0644]