style: #521

Job	Run time
clang-format	13s
Docker	9m 25s
Coverage (STP)	45m 10s
Linux (LLVM 16)	22m 34s
Coverage (Z3)	38m 3s
macOS	4m 38s
Linux (LLVM 15)	22m 38s
Coverage (Bitwuzla)	37m 0s
Linux (LLVM 14)	12m 27s
Linux (LLVM 13)	12m 22s
Linux (LLVM 12)	11m 27s
Linux (LLVM 11, Doxygen)	11m 46s
Linux (ASan)	22m 35s
Linux (UBSan)	22m 37s
Linux (MSan)	22m 35s
Linux (Z3 only)	12m 5s
Linux (metaSMT)	21m 0s
Linux (STP master)	12m 51s
Linux (Bitwuzla only)	11m 49s
Linux (Latest klee-uclibc)	11m 28s
Linux (Asserts disabled)	11m 11s
Linux (No TCMalloc, optimised runtime)	22m 35s
Linux (Warnings as errors, 1)	12m 46s
	6h 51m 15s

Provide feedback