diff options
| author | Makai Mann <makaim@stanford.edu> | 2019-11-11 16:40:51 -0800 |
|---|---|---|
| committer | Makai Mann <makaim@stanford.edu> | 2019-11-11 16:40:51 -0800 |
| commit | d88cc139a029764cf62d95b2eaaff99e270a134a (patch) | |
| tree | d80af0f289c5350a62ea32db34e129af64b2d57e /manual/PRESENTATION_Intro | |
| parent | 1d148491c5a9b816297c08e5ea3a98ff0bd3623d (diff) | |
| download | yosys-d88cc139a029764cf62d95b2eaaff99e270a134a.tar.gz yosys-d88cc139a029764cf62d95b2eaaff99e270a134a.tar.bz2 yosys-d88cc139a029764cf62d95b2eaaff99e270a134a.zip | |
Add an info string symbol for bad states in btor backend
Diffstat (limited to 'manual/PRESENTATION_Intro')
0 files changed, 0 insertions, 0 deletions