lowercase rust test files

FStarLang · Jul 19, 2024 · 08811be · 08811be
1 parent 64f3c9e
commit 08811be
Show file tree

Hide file tree

Showing 8 changed files with 3 additions and 3 deletions.
diff --git a/test/Makefile b/test/Makefile
@@ -39,7 +39,7 @@ BROKEN		= \
   HigherOrder6.fst ForwardDecl.fst BlitNull.fst \
   Ctypes1.fst Ctypes2.fst Ctypes3.fst Ctypes4.fst \
   AbstractStructAbstract.fst MonomorphizationSeparate1.fst \
-  Layered.fst GlobalInit2.fst $(wildcard Rust*.fst)
+  Layered.fst GlobalInit2.fst $(wildcard rust*.fst)
 
 # Lowlevel is not really broken, but its test shouldn't be run since it's a
 # special file and doesn't have a main.
@@ -306,6 +306,6 @@ WasmTrap.wasm-test: NEGATIVE = true
 %.rust-test: $(OUTPUT_DIR)/%.rs
 	rustc $< && ./$*
 
-rust: $(RUST_FILES) $(patsubst %.fst,%.rust-test,$(filter-out Rust1.fst Rust2.fst Rust3.fst,$(wildcard Rust*.fst)))
+rust: $(RUST_FILES) $(patsubst %.fst,%.rust-test,$(filter-out rust1.fst rust2.fst rust3.fst,$(wildcard rust*.fst)))
 
-RUST_FILES = $(patsubst %.rs,%.rust-test,$(wildcard Rust*.fst))
+RUST_FILES = $(patsubst %.rs,%.rust-test,$(wildcard rust*.fst))
diff --git a/test/Rust1.fst → test/rust1.fst b/test/Rust1.fst → test/rust1.fst
diff --git a/test/Rust2.fst → test/rust2.fst b/test/Rust2.fst → test/rust2.fst
diff --git a/test/Rust3.fst → test/rust3.fst b/test/Rust3.fst → test/rust3.fst
diff --git a/test/Rust4.fst → test/rust4.fst b/test/Rust4.fst → test/rust4.fst
diff --git a/test/Rust5.fst → test/rust5.fst b/test/Rust5.fst → test/rust5.fst
diff --git a/test/Rust6.fst → test/rust6.fst b/test/Rust6.fst → test/rust6.fst
diff --git a/test/Rust7.fst → test/rust7.fst b/test/Rust7.fst → test/rust7.fst