async2sync: Refactor to use FfInitVals.
authorMarcelina Kościelnicka <mwk@0x04.net>
Sun, 19 Jul 2020 01:25:30 +0000 (03:25 +0200)
committerMarcelina Kościelnicka <mwk@0x04.net>
Fri, 24 Jul 2020 09:22:31 +0000 (11:22 +0200)
commitbd959d5d9ee1c0eda1921b737ba0c09dd8b2d62f
tree0b05e1352685d7d2bce1417d52e63aec1f02a97f
parentc9251eb26b131c0d6d21d152a9a40fc162703b64
async2sync: Refactor to use FfInitVals.
passes/sat/async2sync.cc