equal
deleted
inserted
replaced
178 |
178 |
179 fun invoke translate_config name cmd options irules ctxt = |
179 fun invoke translate_config name cmd options irules ctxt = |
180 let |
180 let |
181 val args = C.solver_options_of ctxt @ options ctxt |
181 val args = C.solver_options_of ctxt @ options ctxt |
182 val comments = ("solver: " ^ name) :: |
182 val comments = ("solver: " ^ name) :: |
183 ("timeout: " ^ Time.toString (seconds (Config.get ctxt C.timeout))) :: |
183 ("timeout: " ^ string_of_real (Config.get ctxt C.timeout)) :: |
184 "arguments:" :: args |
184 "arguments:" :: args |
185 in |
185 in |
186 irules |
186 irules |
187 |> tap (trace_assms ctxt) |
187 |> tap (trace_assms ctxt) |
188 |> SMT_Translate.translate translate_config ctxt comments |
188 |> SMT_Translate.translate translate_config ctxt comments |