Fix single-bit $stable handling in verific front-end
authorClifford Wolf <clifford@clifford.at>
Thu, 1 Feb 2018 11:51:49 +0000 (12:51 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 1 Feb 2018 11:51:49 +0000 (12:51 +0100)
commit6c00e064e2024b7b41d3c32ed4cf7f0f6857506b
tree203c04c4c90718d32007d9cf07584ca0590f5a32
parent9af40faa0b60e2c0717f36888c1e19183e40a88c
Fix single-bit $stable handling in verific front-end

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc