% meta test the test case functionality (self test)
test("./examples/test_cases/test/metaTestCase.prova").

% basic test cases

test("./examples/test_cases/basics/complexTestCase.prova").
test("./examples/test_cases/basics/cutTestCase.prova").
%test("./examples/test_cases/basics/equalsTestCase.prova").
test("./examples/test_cases/basics/listTestCase.prova").
test("./examples/test_cases/basics/varTestCase.prova").
test("./examples/test_cases/basics/elementMatchingTestCase.prova").

% test build ins

%test("./examples/test_cases/buildin/assertTestCase.prova").

% test goal memoization
test("./examples/test_cases/cache/cacheTestCase.prova").

% defeasible logic
test("./examples/test_cases/defeasible/defeasibleTestCase.prova").

% deontic logic
test("./examples/test_cases/deontic/deonticTestCase.prova").

% event calculus
test("./examples/test_cases/ec/ecTestCase.prova").

% integrity constraints
test("./examples/test_cases/integrity/integrityTestCase.prova").

% transactional updates
test("./examples/test_cases/transaction/transactionTestCase.prova").


% Description logic typing
test("./examples/test_cases/owl/owlTestCase.prova").
test("./examples/test_cases/owl/dlTestCase.prova").

% Labelled Logic tests
test("./examples/test_cases/oid/oidTestCase.prova").

%% General functionality Prova tests

% updates test cases

test("./examples/test_cases/updates/updateFactTestCase.prova").

% prova-aa tests

% test("./examples/test_cases/prova-aa/processJoinTestCase.prova").

