test #152

Job	Run time
clang-format	15s
macOS	15m 21s
Docker	8m 46s
Coverage (STP)	31m 29s
Coverage (Z3)	34m 14s
Linux (LLVM 14)	13m 33s
Coverage (Bitwuzla)	35m 39s
Linux (LLVM 13)	14m 17s
Linux (LLVM 12)	15m 3s
Linux (LLVM 11, Doxygen)	14m 17s
Linux (LLVM 10)	13m 44s
Linux (LLVM 9)	13m 52s
Linux (ASan)	45m 12s
Linux (UBSan)	45m 44s
Linux (MSan)	1h 0m 15s
Linux (Z3 only)	12m 35s
Linux (metaSMT)	20m 6s
Linux (STP master)	13m 22s
Linux (Bitwuzla only)	13m 6s
Linux (Latest klee-uclibc)	13m 36s
Linux (Asserts disabled)	12m 42s
Linux (No TCMalloc, optimised runtime)	12m 54s
	7h 40m 2s

Provide feedback