_CoqProject.test

-arg -w -arg +elpi.deprecated
-arg -bt

-Q theories elpi
-Q examples elpi.examples
-Q tests    elpi.tests
-I src/
-Q elpi     unreleased
-docroot elpi

tests/test_API.v
tests/test_API_elaborate.v
tests/test_API_typecheck.v
tests/test_API_env.v
tests/test_API_module.v
tests/test_API_section.v
tests/test_API_TC_CS.v
tests/test_API_arguments.v
tests/test_API_notations.v
tests/test_API2.v
tests/test_HOAS.v
tests/test_arg_HOAS.v
tests/test_quotation.v
tests/test_vernacular1.v
tests/test_vernacular2.v
tests/test_tactic.v
tests/test_elaborator.v
tests/test_ltac.v
tests/test_ltac2.v
tests/test_ltac3.v
tests/test_cache_async.v
tests/test_COQ_ELPI_ATTRIBUTES.v
tests/perf_calls.v
tests/test_require_bad_order.v
tests/test_ctx_cache.v
tests/test_libobject_A.v
tests/test_libobject_B.v
tests/test_libobject_C.v
tests/test_glob.v
tests/test_link_perf.v
tests/test_link_order1.v
tests/test_link_order2.v
tests/test_link_order3.v
tests/test_link_order4.v
tests/test_link_order5.v
tests/test_link_order6.v
tests/test_link_order7.v
tests/test_link_order8.v
tests/test_link_order9.v
tests/test_API_new_pred.v