MartinNowack

Similar issue - the software is built for 12 but run on 11 - although it was requested like that. The following might help - let's see. https://github.com/SVF-tools/SVF/pull/939

> We have generated_bc.sh. It should auto generate bcs every time when running CI? It would be generated for each test case run - by each test case itself. Something...

@ccadar I will take care of the script - wanted to try something out in the first place to simplify the build script.

@jordr Can you rebase this PR so we can merge it. Thank you.

@jeroen To be honest, I don't know. According to http://mongoc.org/libmongoc/current/tutorial.html, if it happens, it happens at the end. According to `mongoc` internals, it could be delated later. Sure the lookup...

This is unfortunately a result of building `uclibc` (building with `wllvm`) differently than KLEE's bitcode files (building with `clang` directly). As a result, the target triplets are slightly different: 'x86_64-unknown-linux-gnu'...

@jamacku Is it possible to provide the used shall globally? It would be great to solve the following warning: > Tips depend on target shell and yours is unknown. Add...

@sp1ff Sorry for the long delay, can you rebase your changes and I'll have a look at them. The general warnings should be fixed. Thanks @jamacku .

@ccadar Fixed the typo in the line explaining why we don't run that test, extended it slightly: > On Darwin, we don't use tcmalloc or similar allocators, therefore reporting used...

@ccadar STP cannot be built currently with newer versions on MacOS, there are a couple of broken things. To have a "fast" solution, let's switch to Z3.