test.damp.ekeko documentation

nonemptytuples-are
(nonemptytuples-are tuples1 tuples2)
Verifies whether its argument sequences are not empty,
and contain the same tuples (obtained as solutions to an Ekeko query).
Source
tuples-are
(tuples-are tuples1 tuples2)
Verifies whether its argument sequences contain the
same tuples (obtained as solutions to an Ekeko query).
Source
tuples-aresubset
(tuples-aresubset tuples1 tuples2)
Verifies whether all elements from its first argument sequence are
included in its second argument sequence (both obtained as solutions to an Ekeko query).
Source
tuples-correspond
(tuples-correspond tuples stringsetstring)
Verifies whether the stringset representation of its
first argument (tuples obtained as solutions to an Ekeko query)
correspond to the string given as its second argument.
Such a string can be obtained from tuples through tuples-to-stringsetstring.
Source
tuples-to-stringset
(tuples-to-stringset seqofseqs)
For a sequence of sequences (e.g., query results), converts each inner sequence 
element to a string and returns the resulting set of converted inner sequences.
Source
tuples-to-stringsetstring
(tuples-to-stringsetstring seqofseqs)
For a sequence of sequences (e.g., query results), converts each inner sequence 
element to a string and returns the string representation of the resulting set of
converted inner sequences.

Run this on the results of a working query to transform them to a string that is
used for the tests. For example:
(tuples-to-stringsetstring (damp.ekeko/ekeko [?itmethod]
        (assumptions/intertypemethod-unused ?itmethod)))
Source