SMV netlists: use `TRUE`/`FALSE` instead of `1`/`0`#1097

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

smv-netlist-true-falsediffblue/hw-cbmc:smv-netlist-true-falseCopy head branch name to clipboard