From: clairexen <claire@symbioticeda.com>
Date: Wed, 1 Jul 2020 17:20:06 +0000 (+0200)
Subject: Merge pull request #97 from nakengelhardt/seed_arg
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=72e84cb320719bb2793a582e449d3e532e395bb3;p=SymbiYosys.git

Merge pull request #97 from nakengelhardt/seed_arg

add --seed option to smtbmc and btor engines
---

72e84cb320719bb2793a582e449d3e532e395bb3