test/regress/regress0/lang_opts_2_5.smt2

   1 ; Check that the language set in the command line options has higher priority
   2 ; than the language specified in the input file.
   3 ;
   4 ; COMMAND-LINE: --lang=smt2.5
   5 ; EXPECT: "LANG_SMTLIB_V2_5"
   6 (set-info :smt-lib-version 2.6)
   7 (get-option :input-language)