diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-08-07 05:00:43 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-08-07 05:00:43 -0500 |
| commit | 6eee137dc64e3f2c467d70edf2bb18abd6b3b071 (patch) | |
| tree | 5dc13ffa4de9e58fe2c440b363ca7845c6de0227 /.travis.yml | |
| parent | 53d881246fba60c630d7b15ad2ea1acf3e0ce335 (diff) | |
Change sygus output for failed reconstruction case.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions