Use edges when explicit
authorMiodrag Milanovic <mmicko@gmail.com>
Mon, 31 Jan 2022 08:38:25 +0000 (09:38 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Mon, 31 Jan 2022 08:38:25 +0000 (09:38 +0100)
commita6959d30df067c27da75d12bc0bd5233eb91d3ca
treead38d037f51e76b813bced9357fa4cb3419fda51
parentcbadfa02689ddbd5e9e75324aeb15b2c797d8cc4
Use edges when explicit
passes/sat/sim.cc