Remove badly supported cram tests

SkySkimmer · Dec 11, 2023 · d4b0510 · d4b0510
1 parent 19e3e29
commit d4b0510
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 87 deletions.
diff --git a/test-suite/cram/dune b/test-suite/cram/dune
diff --git a/test-suite/cram/extraction-output1.t/a.v b/test-suite/cram/extraction-output1.t/a.v
diff --git a/test-suite/cram/extraction-output1.t/run.t b/test-suite/cram/extraction-output1.t/run.t
diff --git a/test-suite/cram/extraction-output2.t/a.v b/test-suite/cram/extraction-output2.t/a.v
diff --git a/test-suite/cram/extraction-output2.t/run.t b/test-suite/cram/extraction-output2.t/run.t