1 | :- multifile generate/2. | |
2 | :- multifile shrink/3. | |
3 | ||
4 | % same options as atom | |
5 | ||
6 | generate(prob_ast_string(Options),String) :- | |
7 | generate(atom(Options),Atom) , | |
8 | String = b(string(Atom),string,[]). | |
9 | ||
10 | shrink(prob_ast_string(_),b(string(Atom),string,Info),Shrunken) :- | |
11 | shrink(atom([]),Atom,ShrunkenValue) , | |
12 | Shrunken = b(string(ShrunkenValue),string,Info). |