Merge pull request #1529 from diffblue/smv_set4 #5535

Job	Run time
check-vs-2022-make-build-and-test	2m 1s
check-ubuntu-24_04-make-gcc	2m 24s
check-macos-15-make-clang	1m 52s
check-ubuntu-24_04-make-clang	2m 55s
Emscripten build	1m 31s
CentOS 8	1m 8s
ebmc-spot	36s
check-ubuntu-24_04-make-clang-KNOWNBUG	38s
examples	5s
benchmarking	3m 43s
	16m 53s

Provide feedback