CI #1452

Job	Run time
Docker	5m 41s
Docker	5m 41s
clang-format	13s
clang-format	13s
Coverage (STP)	45m 53s
Coverage (STP)	45m 53s
Linux (LLVM 16)	3m 43s
Linux (LLVM 16)	3m 43s
Coverage (Z3)	46m 10s
Coverage (Z3)	46m 10s
Linux (LLVM 15)	3m 42s
Linux (LLVM 15)	3m 42s
macOS	10m 49s
macOS	10m 49s
Linux (LLVM 14)	3m 43s
Linux (LLVM 14)	3m 43s
Coverage (Bitwuzla)	46m 3s
Coverage (Bitwuzla)	46m 3s
Linux (LLVM 13)	3m 49s
Linux (LLVM 13)	3m 49s
Linux (LLVM 12)	3m 43s
Linux (LLVM 12)	3m 43s
Linux (LLVM 11, Doxygen)	3m 44s
Linux (LLVM 11, Doxygen)	3m 44s
Linux (ASan)	3m 48s
Linux (ASan)	6m 8s
Linux (UBSan)	3m 43s
Linux (UBSan)	3m 43s
Linux (MSan)	3m 44s
Linux (MSan)	3m 44s
Linux (Z3 only)	1s
Linux (Z3 only)	1s
Linux (metaSMT)	3m 44s
Linux (metaSMT)	3m 44s
Linux (STP master)	3m 25s
Linux (STP master)	3m 25s
Linux (Bitwuzla only)	3m 44s
Linux (Bitwuzla only)	3m 44s
Linux (Latest klee-uclibc)	3m 46s
Linux (Latest klee-uclibc)	3m 46s
Linux (Asserts disabled)	3m 44s
Linux (Asserts disabled)	3m 44s
Linux (No TCMalloc, optimised runtime)	3m 42s
Linux (No TCMalloc, optimised runtime)	3m 42s
	7h 3m 28s

Provide feedback