diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-10-29 20:38:55 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
commit | 5371eb8474cc4dced751d0515c1ea9499d009668 (patch) | |
tree | d67b0f79a9a537857c0c6c27416ffe9b9307b8fc | |
parent | 2a75a6d6fdb665d92bafee75cb9c08ca3cc05ea1 (diff) | |
download | klee-5371eb8474cc4dced751d0515c1ea9499d009668.tar.gz |
Use KLEE's uClibc v1.4 as default to support the compilation with newer compilers
-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 96122bcb..fa924a37 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.9.1 - UCLIBC_VERSION: klee_uclibc_v1.3 + UCLIBC_VERSION: klee_uclibc_v1.4 USE_TCMALLOC: 1 USE_LIBCXX: 1 Z3_VERSION: 4.8.15 |