# List of regression tests
#
@prefix : <#>.
@prefix x: <#>.
@prefix test: <http://www.w3.org/2000/10/swap/test.n3#>.



:t553 a test:CwmTest;
    test:referenceOutput <ref/unify1.out>;
    test:description   "log:incldues looking for @forAll";
    test:arguments     """unify/unify1.n3 --think --data""".


:t554 a test:CwmTest;
    test:referenceOutput <ref/unify2.out>;
    test:description   "Query looking for @forAll";
    test:arguments     """unify/unify2.n3 --think --data""".

:t555 a  a test:CwmTest;
    test:referenceOutput <ref/reflexive_include.out>;
    test:description   "Include using the same var twice";
    test:arguments     """unify/reflexive_include.n3 --think --data""".


#:t555 a test:CwmTest;
#    test:referenceOutput <ref/unify3.out>;
#    test:description   "Query looking for @forAll";
#    test:arguments     """unify/unify3.n3 --think --why """.