cleaning: remove bench/

move usable files to tests/ remove some move the rest to old/ move bugs/ inside old/ too
Inria-Prosecco · Oct 20, 2023 · 6bc8915 · 6bc8915
1 parent f258eaa
commit 6bc8915
Show file tree

Hide file tree

Showing 18 changed files with 9 additions and 92 deletions.
diff --git a/Makefile b/Makefile
@@ -89,27 +89,27 @@ c/fatal_error.c \
 c/memory.c
 
 # test the allocator with a static binary
-test-alloc0: verify extract
+test-alloc: verify extract
 	$(CC) -O0 -g -DKRML_VERIFIED_UINT126 \
 	-I $(KRML_HOME)/include \
 	-I $(KRML_LIB)/dist/minimal -I dist \
 	-I $(STEEL_HOME)/include/steel \
--o bench/a.out \
+-o a.out \
 $(FILES) \
-bench/test-alloc.c \
+tests/test-alloc.c \
 c/lib-alloc.c
-	./bench/a.out
-test-alloc0bis: verify extract
+	./a.out
+test-alloc2: verify extract
 	$(CC) -O0 -g -DKRML_VERIFIED_UINT128 \
 	-I $(KRML_HOME)/include \
 	-I $(KRML_LIB)/dist/minimal -I dist \
 	-I $(STEEL_HOME)/include/steel \
   -pthread \
--o bench/a.out \
+-o a.out \
 $(FILES) \
-bench/test-alloc2.c \
+tests/test-alloc2.c \
 c/lib-alloc.c
-	./bench/a.out
+	./a.out
 
 lib: verify extract
 	mkdir -p out

diff --git a/bench/bench.ml b/bench/bench.ml
diff --git a/bench/bench.sh b/bench/bench.sh
diff --git a/bench/main.cpp b/bench/main.cpp
diff --git a/minibench.sh b/minibench.sh
diff --git a/bugs/BugSteelCompatExtractInfo.fst → old/bugs/BugSteelCompatExtractInfo.fst b/bugs/BugSteelCompatExtractInfo.fst → old/bugs/BugSteelCompatExtractInfo.fst
diff --git a/bugs/BugSteelCompatRefine.fst → old/bugs/BugSteelCompatRefine.fst b/bugs/BugSteelCompatRefine.fst → old/bugs/BugSteelCompatRefine.fst
diff --git a/bugs/BugSteelRefinementType.fst → old/bugs/BugSteelRefinementType.fst b/bugs/BugSteelRefinementType.fst → old/bugs/BugSteelRefinementType.fst
diff --git a/bench/test-array.c → old/test-array.c b/bench/test-array.c → old/test-array.c
diff --git a/bench/test-avl.c → old/test-avl.c b/bench/test-avl.c → old/test-avl.c
diff --git a/bench/test-both.c → old/test-both.c b/bench/test-both.c → old/test-both.c
diff --git a/bench/test-guard.c → old/test-guard.c b/bench/test-guard.c → old/test-guard.c
diff --git a/bench/test-slab.c → old/test-slab.c b/bench/test-slab.c → old/test-slab.c
diff --git a/bench/test.c → old/test.c b/bench/test.c → old/test.c
diff --git a/bench/test2.c → old/test2.c b/bench/test2.c → old/test2.c
diff --git a/tests/mimalloc_test.c b/tests/mimalloc_test.c
@@ -29,7 +29,7 @@ void calloc_overflow(void) {
 
 void calloc0(void) {
   char* ptr = calloc(0, 1000);
-  assert (ptr[15] == 0);
+  assert (ptr[13] == 0);
   free(ptr);
 }
 

diff --git a/bench/test-alloc.c → tests/test-alloc.c b/bench/test-alloc.c → tests/test-alloc.c
diff --git a/bench/test-alloc2.c → tests/test-alloc2.c b/bench/test-alloc2.c → tests/test-alloc2.c