Andreas Ländle 5ab2e7cb06 Expect test failures for what4 - since cvc5 is not available (GaloisInc/what4#262).		2024-05-21 18:29:01 +02:00
..
01-build-server.sh	Docker: remove various stale commented-out lines	2023-06-12 19:15:08 +02:00
02-apt-get-install.sh
03-custom-install.sh
04-cleanup.sh