diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-04-05 10:20:14 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-05-06 12:14:20 -0700 |
| commit | 862e0871bcc50eff526f20582f1855bf5788b471 (patch) | |
| tree | 7190830b60fbdf3220a4860ea7c83ce135b4294c /.github | |
| parent | 5138eba863665fea1548eb769f6e3910c69ec604 (diff) | |
| download | klee-862e0871bcc50eff526f20582f1855bf5788b471.tar.gz | |
Switch to newer KLEE uClibc release
Instead of using a branch that doesn't allow build artifact caching, use the newer released version instead.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index ea21f1ee..7e7abd27 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -24,7 +24,7 @@ env: SOLVERS: STP:Z3 STP_VERSION: 2.3.3 TCMALLOC_VERSION: 2.7 - UCLIBC_VERSION: klee_uclibc_v1.2 + UCLIBC_VERSION: klee_uclibc_v1.3 USE_TCMALLOC: 1 USE_LIBCXX: 1 Z3_VERSION: 4.8.14 |