equal
deleted
inserted
replaced
103 /* Isabelle tool wrapper */ |
103 /* Isabelle tool wrapper */ |
104 |
104 |
105 val isabelle_tool = Isabelle_Tool("mirabelle", "testing tool for automated proof tools", |
105 val isabelle_tool = Isabelle_Tool("mirabelle", "testing tool for automated proof tools", |
106 Scala_Project.here, |
106 Scala_Project.here, |
107 { args => |
107 { args => |
108 val build_options = Word.explode(Isabelle_System.getenv("ISABELLE_BUILD_OPTIONS")) |
108 var options = Options.init(specs = Options.Spec.ISABELLE_BUILD_OPTIONS) |
109 |
|
110 var options = Options.init(opts = build_options) |
|
111 val mirabelle_dry_run = options.check_name("mirabelle_dry_run") |
109 val mirabelle_dry_run = options.check_name("mirabelle_dry_run") |
112 val mirabelle_max_calls = options.check_name("mirabelle_max_calls") |
110 val mirabelle_max_calls = options.check_name("mirabelle_max_calls") |
113 val mirabelle_randomize = options.check_name("mirabelle_randomize") |
111 val mirabelle_randomize = options.check_name("mirabelle_randomize") |
114 val mirabelle_stride = options.check_name("mirabelle_stride") |
112 val mirabelle_stride = options.check_name("mirabelle_stride") |
115 val mirabelle_timeout = options.check_name("mirabelle_timeout") |
113 val mirabelle_timeout = options.check_name("mirabelle_timeout") |