diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-03 14:50:40 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-03 14:50:40 +0100 |
| commit | a44e1edaa302539fc1a53bf099c77b8085ed4d79 (patch) | |
| tree | 743afc539d66c1f9e4743ca1a163d4598fc20151 /frontends/verific/verificsva.cc | |
| parent | 3ced2cca6e924bf748851580563b42d835aa099b (diff) | |
| download | yosys-a44e1edaa302539fc1a53bf099c77b8085ed4d79.tar.gz yosys-a44e1edaa302539fc1a53bf099c77b8085ed4d79.tar.bz2 yosys-a44e1edaa302539fc1a53bf099c77b8085ed4d79.zip | |
Terminate running SMT solver when smtbmc is terminated
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/verificsva.cc')
0 files changed, 0 insertions, 0 deletions