Moved Test.LexemeFL to micro-benchmarks got rid of tests/validation-time

FStarLang · Oct 19, 2024 · 60f36d1 · 60f36d1
1 parent 6bcf77a
commit 60f36d1
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 28 deletions.
diff --git a/tests/Makefile b/tests/Makefile
@@ -21,7 +21,6 @@ ALL_TEST_DIRS += vale
 ALL_TEST_DIRS += hacl
 ALL_TEST_DIRS += simple_hello
 ALL_TEST_DIRS += dune_hello
-ALL_TEST_DIRS += validation-time
 HAS_OCAML := $(shell which ocamlfind 2>/dev/null)
 
 ifneq (,$(HAS_OCAML))

diff --git a/tests/validation-time/Test.LexemeFL.fst → tests/micro-benchmarks/Test.LexemeFL.fst b/tests/validation-time/Test.LexemeFL.fst → tests/micro-benchmarks/Test.LexemeFL.fst
diff --git a/tests/validation-time/Makefile b/tests/validation-time/Makefile
diff --git a/tests/validation-time/README.md b/tests/validation-time/README.md