diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-24 15:48:49 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-24 15:48:49 -0300 |
| commit | 9e158f5dc42cbc51fa89e3627d2fd20918915f8b (patch) | |
| tree | cd14f1fb35acb7fc1604aba31c1e96236a6d3397 /test/dune | |
| parent | 3eb816950451dd7074dbca6d4ac38662b0d30a75 (diff) | |
| download | RNT-9e158f5dc42cbc51fa89e3627d2fd20918915f8b.tar.gz RNT-9e158f5dc42cbc51fa89e3627d2fd20918915f8b.zip | |
translator for karuta subsystem
Diffstat (limited to 'test/dune')
| -rw-r--r-- | test/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,4 +2,4 @@ (test (name test_rnt) - (libraries rnt alcotest qcheck-core qcheck-alcotest batteries)) + (libraries rnt subsystem alcotest qcheck-core qcheck-alcotest batteries)) |