tree 84e0a75011eb44e782772c64b64ef7b470257f89
parent da347b9f7e8ce9738598931283ba98f8c98924cb
author Clifford Wolf <clifford@clifford.at> 1570013284 +0200
committer Clifford Wolf <clifford@clifford.at> 1570013284 +0200

Fix btor back-end to use "state" instead of "input" for undef init bits

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