style: #530

Job	Run time
Docker	9m 52s
Coverage (STP)	51m 30s
clang-format	11s
Coverage (Z3)	54m 48s
macOS	10m 7s
Coverage (Bitwuzla)	53m 12s
Linux (LLVM 16)	9m 47s
Linux (LLVM 15)	9m 53s
Linux (LLVM 14)	12m 22s
Linux (LLVM 13)	12m 48s
Linux (LLVM 12)	14m 4s
Linux (LLVM 11, Doxygen)	13m 0s
Linux (ASan)	48m 34s
Linux (UBSan)	34m 10s
Linux (MSan)	36m 1s
Linux (Z3 only)	13m 21s
Linux (metaSMT)	36m 4s
Linux (STP master)	13m 16s
Linux (Bitwuzla only)	13m 36s
Linux (Latest klee-uclibc)	14m 36s
Linux (Asserts disabled)	12m 40s
Linux (No TCMalloc, optimised runtime)	30m 20s
Linux (Warnings as errors, 1)	12m 16s
	8h 36m 28s

Provide feedback