capture error messages (of SMT solvers)
authorboehmes
Tue Feb 02 23:38:41 2010 +0100 (2010-02-02)
changeset 349977cc8726aa8a7
parent 34996 51c93ab92c3e
child 34998 5e492a862b34
child 35505 4d202d722eb2
capture error messages (of SMT solvers)
src/HOL/SMT/Tools/smt_solver.ML
     1.1 --- a/src/HOL/SMT/Tools/smt_solver.ML	Tue Feb 02 19:30:08 2010 +0100
     1.2 +++ b/src/HOL/SMT/Tools/smt_solver.ML	Tue Feb 02 23:38:41 2010 +0100
     1.3 @@ -159,7 +159,7 @@
     1.4      system_out (space_implode " " ("perl -w" ::
     1.5        File.shell_path (Path.explode (getenv "RUN_SMT_SOLVER")) :: certs' ::
     1.6        map File.shell_quote (solver @ args) @
     1.7 -      map File.shell_path [problem_path, proof_path]))
     1.8 +      map File.shell_path [problem_path, proof_path]) ^ " 2>&1")
     1.9    end
    1.10  
    1.11  in