diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2022-06-28 22:52:33 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-06-29 09:33:46 +0100 |
| commit | 71b0e70464ceb9105535b796feede63c5800252c (patch) | |
| tree | 68b60a3af9594ff8fc239ca5ce096f5bf81fb58c /.gitignore | |
| parent | 7a6100d388e18ba58daef45f3590fe7f218c9ef0 (diff) | |
| download | klee-71b0e70464ceb9105535b796feede63c5800252c.tar.gz | |
forward ci environment variables used to exercise metasmt backends into the docker container
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions