CONTRACTS: separation checks using nondet demonic variable #10845

Job	Run time
check-docker-image	21m 21s
check-macos-13-make-clang	12m 45s
check-macos-14-cmake-clang	50m 32s
check-string-table	2m 8s
check-ubuntu-20_04-cmake-gcc	30m 48s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	19m 57s
check-ubuntu-20_04-cmake-gcc-THOROUGH	24m 52s
check-ubuntu-20_04-make-clang-smt-z3	13m 54s
check-ubuntu-20_04-make-clang	21m 6s
check-ubuntu-20_04-make-gcc	21m 40s
check-ubuntu-22_04-cmake-gcc	15m 37s
check-ubuntu-22_04-cmake-gcc-32bit	15m 17s
check-ubuntu-22_04-make-clang	6m 27s
check-ubuntu-24_04-cmake-gcc-14	15m 12s
check-vs-2019-cmake-build-and-test	46m 17s
check-vs-2022-make-build-and-test	18m 8s
include-what-you-use	23m 12s
windows-msi-package	22m 45s
	6h 21m 58s

Provide feedback