test #150

Job	Run time
Docker	3m 26s
clang-format	11s
Coverage (STP)	3m 26s
Linux (LLVM 14)	3m 25s
Coverage (Z3)	3m 28s
macOS	3m 33s
Linux (LLVM 13)	3m 25s
Coverage (Bitwuzla)	3m 26s
Linux (LLVM 12)	3m 23s
Linux (LLVM 11, Doxygen)	3m 25s
Linux (LLVM 10)	3m 27s
Linux (LLVM 9)	3m 23s
Linux (ASan)	3m 24s
Linux (UBSan)	3m 0s
Linux (MSan)	3m 24s
Linux (Z3 only)	1s
Linux (metaSMT)	3m 23s
Linux (STP master)	3m 4s
Linux (Bitwuzla only)	3m 26s
Linux (Latest klee-uclibc)	3m 25s
Linux (Asserts disabled)	3m 25s
Linux (No TCMalloc, optimised runtime)	3m 22s
	1h 7m 52s

Provide feedback