dune « test - chadprover - Software for automated proofs.

summary refs log tree commit diff

path: root/test/dune

blob: 590175888e8f3f9fca3a5e3897a2e45441af1e7e (plain)

1
2
3

(test
 (name test_lexing) ; TODO: change back to test_chadprover
 (libraries chadprover))