Annotations #814

Job	Run time
Docker	10m 51s
Linux (LLVM 14)	14m 50s
Linux (LLVM 13)	16m 9s
Linux (LLVM 12)	13m 11s
Linux (LLVM 11, Doxygen)	14m 38s
Linux (LLVM 10)	12m 56s
Linux (LLVM 9)	13m 21s
Linux (ASan)	36m 12s
Linux (UBSan)	32m 41s
Linux (MSan)	44m 34s
Linux (Z3 only)	14m 2s
Linux (metaSMT)	33m 12s
Linux (STP master)	16m 57s
Linux (Latest klee-uclibc)	15m 6s
Linux (Asserts disabled)	12m 5s
Linux (No TCMalloc, optimised runtime)	13m 56s
Coverage (STP)	30m 51s
Coverage (Z3)	33m 3s
clang-format	5m 16s
macOS	13m 55s
	6h 37m 46s

Provide feedback