diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-05-20 08:55:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-20 08:55:36 +0200 |
| commit | 7c4e580f8f9b5f441f3af5454e68cba38eb52e91 (patch) | |
| tree | 0f799b94ab1201aef4099568936526b76da34d59 /.travis | |
| parent | aee439360bba642dcbffe5b803aa9a994b11d183 (diff) | |
| parent | 1053032a81ea54847bfef944d3c5481de8a2046e (diff) | |
| download | yosys-7c4e580f8f9b5f441f3af5454e68cba38eb52e91.tar.gz yosys-7c4e580f8f9b5f441f3af5454e68cba38eb52e91.tar.bz2 yosys-7c4e580f8f9b5f441f3af5454e68cba38eb52e91.zip | |
Merge pull request #2054 from boqwxp/fix-smtbmc
smtbmc: Fix return status handling.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions