diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-18 14:16:23 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-09-21 18:08:14 +0100 |
| commit | a8d51ee568e2e2da339fea8c775d8df53ff40038 (patch) | |
| tree | 9ee13a79342b45c23df2a35483ff50fd17a0bb2d /.travis.yml | |
| parent | 730dde87ee6809f2954e59070755dbce9b60e19a (diff) | |
| download | klee-a8d51ee568e2e2da339fea8c775d8df53ff40038.tar.gz | |
Added a PR template, with a checklist documenting the most frequent issues we have encountered
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions