Use set-artih-only in Yices when flag --yices_arith_only is passed but fail when it is not safe: Missing file.
Use set-artih-only in Yices when flag --yices_arith_only is passed but fail when it is not safe: Missing file.

AdrienChampion/kind2,mebsout/kind2,mebsout/kind2,mebsout/kind2,AdrienChampion/kind2,chsticksel/kind2,chsticksel/kind2,chsticksel/kind2,AdrienChampion/kind2,mebsout/kind2,tinelli/kind2,tinelli/kind2,AdrienChampion/kind2,mebsout/kind2,chsticksel/kind2,tinelli/kind2,mebsout/kind2,tinelli/kind2,AdrienChampion/kind2,chsticksel/kind2,mebsout/kind2,AdrienChampion/kind2,chsticksel/kind2,AdrienChampion/kind2,daniel-larraz/kind2,AdrienChampion/kind2,mebsout/kind2,kind2-mc/kind2,tinelli/kind2,tinelli/kind2,AdrienChampion/kind2,mebsout/kind2