Write simulation files after simulation is performed
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Mar 2022 14:23:07 +0000 (15:23 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Mar 2022 14:23:07 +0000 (15:23 +0100)
commit48b56a4f7fb13b27522dc243e68d8f67bcde705a
tree80661375e0a5d3efa870f5e7e2f2563281329c9d
parent2ca69e1b88a8ff75b8a3af152009f692e0dae1bf
Write simulation files after simulation is performed
passes/sat/sim.cc