Intergration with Cooddy #869

Job	Run time
Docker	12m 17s
clang-format	7m 30s
Coverage (STP)	51m 4s
Linux (LLVM 14)	21m 34s
Coverage (Z3)	43m 12s
macOS	11m 39s
Linux (LLVM 13)	17m 23s
Linux (LLVM 12)	17m 31s
Linux (LLVM 11, Doxygen)	17m 29s
Linux (LLVM 10)	20m 20s
Linux (LLVM 9)	17m 35s
Linux (ASan)	51m 52s
Linux (UBSan)	58m 42s
Linux (MSan)	56m 56s
Linux (Z3 only)	16m 51s
Linux (metaSMT)	38m 21s
Linux (STP master)	17m 0s
Linux (Latest klee-uclibc)	24m 12s
Linux (Asserts disabled)	22m 9s
Linux (No TCMalloc, optimised runtime)	15m 16s
	8h 58m 53s

Provide feedback