XSB/packages/xasp/tests/basic_tests
