SMT2 back-end: Bitwuzla does not support lambda expressions #10288

Job	Run time
check-ubuntu-20_04-make-clang	24m 51s
check-ubuntu-20_04-make-clang-smt-z3	3m 58s
check-ubuntu-20_04-make-gcc	33m 46s
check-docker-image	21m 25s
check-macos-12-cmake-clang	37m 38s
check-macos-13-make-clang	30m 46s
check-string-table	2m 32s
check-ubuntu-20_04-cmake-gcc	18m 46s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 11s
check-ubuntu-22_04-cmake-gcc	17m 2s
check-ubuntu-20_04-cmake-gcc-THOROUGH	1h 47m 16s
check-ubuntu-22_04-cmake-gcc-32bit	15m 0s
check-ubuntu-22_04-make-clang	19m 29s
check-ubuntu-24_04-cmake-gcc-14	16m 27s
check-vs-2019-cmake-build-and-test	32m 41s
include-what-you-use	22m 39s
check-vs-2022-make-build-and-test	18m 6s
windows-msi-package	4m 52s
	7h 10m 25s

Provide feedback