[style] #461

Job	Run time
clang-format	5m 22s
Coverage (STP)	34m 3s
Linux (LLVM 14)	14m 7s
Coverage (Z3)	34m 35s
Docker	8m 14s
Linux (LLVM 13)	14m 2s
macOS	10m 53s
Coverage (Bitwuzla)	34m 55s
Linux (LLVM 12)	14m 1s
Linux (LLVM 11, Doxygen)	13m 32s
Linux (LLVM 10)	14m 10s
Linux (LLVM 9)	13m 51s
Linux (ASan)	14m 10s
Linux (UBSan)	14m 9s
Linux (MSan)	14m 9s
Linux (Z3 only)	5m 50s
Linux (metaSMT)	14m 7s
Linux (STP master)	12m 21s
Linux (Bitwuzla only)	13m 45s
Linux (Latest klee-uclibc)	14m 8s
Linux (Asserts disabled)	13m 29s
Linux (No TCMalloc, optimised runtime)	14m 6s
	5h 41m 59s

Provide feedback