Merge pull request #1727 from YosysHQ/eddie/fix_write_smt2
authorEddie Hung <eddie@fpgeh.com>
Sat, 29 Feb 2020 16:15:24 +0000 (08:15 -0800)
committerGitHub <noreply@github.com>
Sat, 29 Feb 2020 16:15:24 +0000 (08:15 -0800)
commit69c2d3848a3fb51887452cc52877db9d95965f11
treea026c71d1cbf84c332262704c16c385d974d708f
parentb741954461ec403401730774e4197f836d8d209b
parentde3e5fcdc6a3775231b303b89c2bbf551aeaaf42
Merge pull request #1727 from YosysHQ/eddie/fix_write_smt2

ystests: fix write_smt2_write_smt2_cyclic_dependency_fail