equal
deleted
inserted
replaced
1026 let |
1026 let |
1027 val ms = milliseconds_until_deadline deadline |
1027 val ms = milliseconds_until_deadline deadline |
1028 val outcome = |
1028 val outcome = |
1029 let |
1029 let |
1030 val code = |
1030 val code = |
1031 Isabelle_System.bash ("cd " ^ File.bash_string temp_dir ^ ";\n\ |
1031 Isabelle_System.bash ("cd " ^ Bash.string temp_dir ^ ";\n\ |
1032 \\"$KODKODI/bin/kodkodi\"" ^ |
1032 \\"$KODKODI/bin/kodkodi\"" ^ |
1033 (if ms >= 0 then " -max-msecs " ^ string_of_int ms |
1033 (if ms >= 0 then " -max-msecs " ^ string_of_int ms |
1034 else "") ^ |
1034 else "") ^ |
1035 (if max_solutions > 1 then " -solve-all" else "") ^ |
1035 (if max_solutions > 1 then " -solve-all" else "") ^ |
1036 " -max-solutions " ^ string_of_int max_solutions ^ |
1036 " -max-solutions " ^ string_of_int max_solutions ^ |