Annotations #738

Job	Run time
Docker	12m 25s
clang-format	5m 54s
Coverage (STP)	40m 3s
Coverage (Z3)	34m 4s
Linux (LLVM 14)	16m 39s
Linux (LLVM 13)	16m 28s
Linux (LLVM 12)	17m 10s
Linux (LLVM 11, Doxygen)	14m 9s
Linux (LLVM 10)	14m 27s
Linux (LLVM 9)	15m 40s
Linux (ASan)	43m 54s
Linux (UBSan)	31m 15s
Linux (MSan)	57m 54s
Linux (Z3 only)	12m 59s
Linux (metaSMT)	30m 57s
Linux (STP master)	16m 58s
Linux (Latest klee-uclibc)	15m 26s
Linux (Asserts disabled)	12m 14s
Linux (No TCMalloc, optimised runtime)	14m 17s
macOS	9m 58s
	7h 12m 51s

Provide feedback