Something went wrong on our end
-
François Bobot authoredFrançois Bobot authored
cvc3_array.drv 251 B
import "cvc3.gen"
theory BuiltIn
meta "select_inst" "goal"
meta "select_kept" "goal"
meta "select_lskept" "nothing"
meta "completion_mode" "only_kept"
end
(*
Local Variables:
mode: why
compile-command: "unset LANG; make -C .. bench"
End:
*)