CI #532

Job	Run time
Coverage (STP)	2m 31s
Coverage (STP)	2m 31s
Docker	2m 32s
Docker	2m 32s
Coverage (Z3)	2m 34s
Coverage (Z3)	2m 34s
Linux (LLVM 16)	1m 10s
Linux (LLVM 16)	1m 10s
Coverage (Bitwuzla)	2m 33s
Coverage (Bitwuzla)	2m 33s
clang-format	13s
clang-format	13s
Linux (LLVM 15)	1m 10s
Linux (LLVM 15)	1m 10s
macOS	1m 30s
macOS	1m 30s
Linux (LLVM 14)	1m 11s
Linux (LLVM 14)	12m 50s
Linux (LLVM 13)	1m 10s
Linux (LLVM 13)	1m 10s
Linux (LLVM 12)	1m 12s
Linux (LLVM 12)	1m 12s
Linux (LLVM 11, Doxygen)	1m 11s
Linux (LLVM 11, Doxygen)	1m 11s
Linux (ASan)	1m 12s
Linux (ASan)	1m 12s
Linux (UBSan)	1s
Linux (UBSan)	1s
Linux (MSan)	1m 9s
Linux (MSan)	1m 9s
Linux (Z3 only)	1s
Linux (Z3 only)	1s
Linux (metaSMT)	1m 11s
Linux (metaSMT)	1m 11s
Linux (STP master)	1m 10s
Linux (STP master)	1m 10s
Linux (Bitwuzla only)	1m 10s
Linux (Bitwuzla only)	1m 10s
Linux (Smithril only)	37s
Linux (Smithril only)	37s
Linux (Latest klee-uclibc)	1m 11s
Linux (Latest klee-uclibc)	1m 11s
Linux (Asserts disabled)	1m 12s
Linux (Asserts disabled)	1m 12s
Linux (No TCMalloc, optimised runtime)	1m 10s
Linux (No TCMalloc, optimised runtime)	1m 10s
	1h 9m 41s

Provide feedback