diff options
| author | Jannis Harder <me@jix.one> | 2022-11-28 16:04:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-28 16:04:38 +0100 |
| commit | 10e22608c00870a58733e68087069586a97aa4b4 (patch) | |
| tree | 8cf7d29078353f34019df200bc44b5687c6fc390 /kernel/satgen.h | |
| parent | 23e26ff66153f6c147adee515e547b7d34962347 (diff) | |
| parent | ed0e14820ed7790d88504800dc5b59a4194a6992 (diff) | |
| download | yosys-10e22608c00870a58733e68087069586a97aa4b4.tar.gz yosys-10e22608c00870a58733e68087069586a97aa4b4.tar.bz2 yosys-10e22608c00870a58733e68087069586a97aa4b4.zip | |
Merge pull request #3565 from jix/sat-def-formal
sat: Add -set-def-formal option to force defined $any* outputs
Diffstat (limited to 'kernel/satgen.h')
| -rw-r--r-- | kernel/satgen.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h index da2cec222..8a89ff9db 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -73,6 +73,7 @@ struct SatGen std::map<std::pair<std::string, int>, bool> initstates; bool ignore_div_by_zero; bool model_undef; + bool def_formal = false; SatGen(ezSAT *ez, SigMap *sigmap, std::string prefix = std::string()) : ez(ez), sigmap(sigmap), prefix(prefix), ignore_div_by_zero(false), model_undef(false) |