equal
deleted
inserted
replaced
|
1 (* Title: mirabelle_quickcheck.ML |
|
2 Author: Jasmin Blanchette and Sascha Boehme |
|
3 *) |
|
4 |
|
5 structure Mirabelle_Quickcheck : MIRABELLE_ACTION = |
|
6 struct |
|
7 |
|
8 fun quickcheck_action args {pre=st, ...} = |
|
9 let |
|
10 val has_valid_key = member (op =) ["iterations", "size", "generator"] o fst |
|
11 in |
|
12 (case Quickcheck.quickcheck (filter has_valid_key args) 1 st of |
|
13 NONE => SOME "no counterexample" |
|
14 | SOME _ => SOME "counterexample found") |
|
15 end |
|
16 |
|
17 fun invoke args = Mirabelle.register ("quickcheck", quickcheck_action args) |
|
18 |
|
19 end |