diff options
Diffstat (limited to '.github/workflows/build.yaml')
| -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 |