CI #548

Job	Run time
clang-format	16s
clang-format	16s
Docker	8m 59s
Docker	8m 59s
Linux (LLVM 16)	10m 33s
Linux (LLVM 16)	10m 33s
Coverage (STP)	49m 57s
Coverage (STP)	49m 57s
Coverage (Z3)	50m 13s
Coverage (Z3)	50m 13s
Linux (LLVM 15)	9m 45s
Linux (LLVM 15)	9m 45s
macOS	10m 30s
macOS	10m 30s
Linux (LLVM 14)	12m 35s
Linux (LLVM 14)	12m 35s
Coverage (Bitwuzla)	50m 14s
Coverage (Bitwuzla)	50m 14s
Linux (LLVM 13)	12m 36s
Linux (LLVM 13)	12m 36s
Linux (LLVM 12)	12m 42s
Linux (LLVM 12)	12m 42s
Linux (LLVM 11, Doxygen)	12m 36s
Linux (LLVM 11, Doxygen)	12m 36s
Linux (ASan)	12m 34s
Linux (ASan)	12m 34s
Linux (UBSan)	12m 14s
Linux (UBSan)	12m 14s
Linux (MSan)	12m 35s
Linux (MSan)	12m 35s
Linux (Z3 only)	3m 31s
Linux (Z3 only)	3m 31s
Linux (metaSMT)	12m 35s
Linux (metaSMT)	12m 35s
Linux (STP master)	12m 34s
Linux (STP master)	12m 34s
Linux (Bitwuzla only)	12m 18s
Linux (Bitwuzla only)	12m 18s
Linux (Smithril only)	12m 33s
Linux (Smithril only)	27m 2s
Linux (Latest klee-uclibc)	12m 36s
Linux (Latest klee-uclibc)	12m 36s
Linux (Asserts disabled)	12m 34s
Linux (Asserts disabled)	12m 34s
Linux (No TCMalloc, optimised runtime)	12m 36s
Linux (No TCMalloc, optimised runtime)	12m 36s
	12h 33m 41s

Provide feedback