no-tasty-sugar
disable-tests-non-x86_64
disable-tests-yices
