tree 2b393a693d327e7efcaa95fae734a5b2ff2e1979
parent 89834b98f7715b131193f8283f09d665b9290eff
author Clifford Wolf <clifford@clifford.at> 1573729058 +0100
committer Clifford Wolf <clifford@clifford.at> 1573729058 +0100

Use cell name for btor bad state props when it is a public name

Signed-off-by: Clifford Wolf <clifford@clifford.at>