1 | :- multifile generate/2. | |
2 | :- multifile shrink/3. | |
3 | ||
4 | :- use_module(library(random),[random/3]). | |
5 | ||
6 | % same options as atom | |
7 | ||
8 | generate(prob_value_string(Options),string(Value)) :- | |
9 | generate(atom(Options),Value). | |
10 | ||
11 | shrink(prob_value_string(_),string(Value),string(Shrunken)) :- | |
12 | shrink(atom(_),Value,Shrunken). |