Rename and regenerate some files

1 files changed, 8 insertions, 8 deletions

diff --git a/Makefile b/Makefile
index 8d49a200..45f191cc 100644
--- a/Makefile
+++ b/Makefile
@@ -93,7 +93,7 @@ tests: test-no_nested_borrows test-paper \
 	testp-polonius_list testp-betree_main \
 	ctest-testp-betree_main \
 	test-loops \
-	test-array test-traits test-bitwise
+	test-arrays test-traits test-bitwise
 
 # Verify the F* files generated by the translation
 .PHONY: verify
@@ -125,13 +125,13 @@ tlean-paper: SUBDIR :=
 thol4-no_nested_borrows: SUBDIR := misc-no_nested_borrows
 thol4-paper: SUBDIR := misc-paper
 
-test-array: OPTIONS +=
-test-array: SUBDIR := array
-tfstar-array: OPTIONS += -decreases-clauses -template-clauses -split-files
-tcoq-array: OPTIONS += -use-fuel
-tlean-array: SUBDIR :=
-tlean-array: OPTIONS +=
-thol4-array: OPTIONS +=
+test-arrays: OPTIONS +=
+test-arrays: SUBDIR := arrays
+tfstar-arrays: OPTIONS += -decreases-clauses -template-clauses -split-files
+tcoq-arrays: OPTIONS += -use-fuel
+tlean-arrays: SUBDIR :=
+tlean-arrays: OPTIONS +=
+thol4-arrays: OPTIONS +=
 
 test-traits: OPTIONS +=
 test-traits: SUBDIR := traits