CI #139

Job	Run time
Linux (LLVM 14)	2m 54s
Docker	2m 55s
Linux (LLVM 13)	2m 55s
Coverage (STP)	2m 56s
Linux (LLVM 12)	2m 55s
Coverage (Z3)	2m 57s
Linux (LLVM 11, Doxygen)	2m 56s
Coverage (Bitwuzla)	2m 58s
macOS	2m 59s
Linux (LLVM 10)	2m 56s
Linux (LLVM 9)	2m 55s
Linux (ASan)	2m 56s
Linux (UBSan)	1s
Linux (MSan)	2m 55s
Linux (Z3 only)	1s
Linux (metaSMT)	2m 55s
Linux (STP master)	2m 53s
Linux (Bitwuzla only)	2m 56s
Linux (Latest klee-uclibc)	2m 53s
Linux (Asserts disabled)	2m 55s
Linux (No TCMalloc, optimised runtime)	2m 54s
	55m 35s

Provide feedback