split preparing clauses and writing problemfile;
included results of count_constants in return-type of prover;
optionally pass counted constants to prover;
removed unused external_prover from signature
(* Author: Florian Haftmann, TU Muenchen *)
header {* Pervasive test of code generator using pretty literals *}
theory Codegenerator_Pretty_Test
imports Codegenerator_Pretty
begin
export_code * in SML module_name CodegenTest
in OCaml module_name CodegenTest file -
in Haskell file -
end