Merge pull request #3211 from YosysHQ/micko/witness
authorClaire Xen <claire@clairexen.net>
Tue, 22 Feb 2022 15:22:06 +0000 (16:22 +0100)
committerGitHub <noreply@github.com>
Tue, 22 Feb 2022 15:22:06 +0000 (16:22 +0100)
commita41c1df76f724476136e2668405ccae05494ebb8
tree097548d79dd1c28ebd782e119aad869996b4c316
parentac294ed419286a84117e79e4ccd78a19458ae614
parent1aa9ad25d0c062e2202b81de4193b161984e83fb
Merge pull request #3211 from YosysHQ/micko/witness

Add support for AIGER witness files in "sim" command
passes/sat/sim.cc