Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

clerk should collect tests in included files #485

Closed
denismerigoux opened this issue Jun 30, 2023 · 1 comment
Closed

clerk should collect tests in included files #485

denismerigoux opened this issue Jun 30, 2023 · 1 comment
Assignees
Labels
🏗️ build system Build system or Makefile ❓ invalid This doesn't seem right

Comments

@denismerigoux
Copy link
Contributor

Consider the following situation :

  • a code.catala_fr file containing the code you want to test
  • several tests1.catala_fr, test2.catala_fr files containing your test cases but that don't include code.catala_fr
  • a bundle.catala_fr that includes code.catala_fr and then all the test files.

This situation is useful because calling catala LateX bundle.catala_fr creates a big PDF with all the code and test cases in it, something you can't do with the scheme where each of of the test<n>.catala_fr includes code.catala_fr of their own.

In that situation, how to have clerk execute all the tests in test<n>.catala_fr ? You have to use clerk test bundle.catala_fr because you can't call Catala independantly on test<n>.catala_fr which don't include code.catala_fr.

However clerk test bundle.catala_fr fails because clerk does not support collecting catala-test-inline declarations across file inclusion. This feature should be added to clerk.

@denismerigoux denismerigoux added ❓ invalid This doesn't seem right 🏗️ build system Build system or Makefile labels Jun 30, 2023
@AltGr AltGr self-assigned this Jul 10, 2023
@AltGr
Copy link
Collaborator

AltGr commented Jul 18, 2023

#491 is a naive attempt to implement this that begs for further discussion :)

@AltGr AltGr closed this as completed Feb 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🏗️ build system Build system or Makefile ❓ invalid This doesn't seem right
Projects
None yet
Development

No branches or pull requests

2 participants