equal
deleted
inserted
replaced
8 signature NITPICK_TESTS = |
8 signature NITPICK_TESTS = |
9 sig |
9 sig |
10 val run_all_tests : unit -> unit |
10 val run_all_tests : unit -> unit |
11 end |
11 end |
12 |
12 |
13 structure NitpickTests = |
13 structure Nitpick_Tests = |
14 struct |
14 struct |
15 |
15 |
16 open NitpickUtil |
16 open Nitpick_Util |
17 open NitpickPeephole |
17 open Nitpick_Peephole |
18 open NitpickRep |
18 open Nitpick_Rep |
19 open NitpickNut |
19 open Nitpick_Nut |
20 open NitpickKodkod |
20 open Nitpick_Kodkod |
21 open Nitpick |
|
22 |
21 |
23 val settings = |
22 val settings = |
24 [("solver", "\"zChaff\""), |
23 [("solver", "\"zChaff\""), |
25 ("skolem_depth", "-1")] |
24 ("skolem_depth", "-1")] |
26 |
25 |