lang_opts_2_5.smt2 « regress0 « regress « test - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

index : cvc5.git

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

git repository hosting

summary refs log tree commit diff

path: root/test/regress/regress0/lang_opts_2_5.smt2

blob: 5a56960f0334e9b1cd9106250c7b04eb1e74ae55 (plain)

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

generated by cgit on debian on lair

contact matthew@masot.net with questions or feedback