Add option to ignore X only signals in output
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Mar 2022 15:02:13 +0000 (16:02 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Mar 2022 15:02:13 +0000 (16:02 +0100)
commit59983eda1788b927fa60d1efc04b5e66a45d85aa
tree95c11b4425ede06d57d6f0da46e3d3ce13b161ff
parent48b56a4f7fb13b27522dc243e68d8f67bcde705a
Add option to ignore X only signals in output
passes/sat/sim.cc