REname Execution too preprocessing

Pi-Squared-Inc · Aug 22, 2024 · 1c0a076 · 1c0a076
1 parent 63da576
commit 1c0a076
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 10 deletions.
diff --git a/Makefile b/Makefile
@@ -3,16 +3,15 @@ RUST_KOMPILED ::= .build/rust-kompiled
 RUST_TIMESTAMP ::= $(RUST_KOMPILED)/timestamp
 SYNTAX_INPUT_DIR ::= tests/syntax
 SYNTAX_OUTPUT_DIR ::= .build/syntax-output
-EXECUTION_INPUT_DIR ::= tests/execution
-EXECUTION_OUTPUT_DIR ::= .build/execution-output
+PREPROCESSING_INPUT_DIR ::= tests/preprocessing
+PREPROCESSING_OUTPUT_DIR ::= .build/preprocessing-output
 
 SYNTAX_INPUTS ::= $(wildcard $(SYNTAX_INPUT_DIR)/*.rs)
 SYNTAX_OUTPUTS ::= $(patsubst $(SYNTAX_INPUT_DIR)/%.rs,$(SYNTAX_OUTPUT_DIR)/%.rs-parsed,$(SYNTAX_INPUTS))
 
-EXECUTION_INPUTS ::= $(wildcard $(EXECUTION_INPUT_DIR)/*.rs)
-EXECUTION_OUTPUTS ::= $(patsubst $(EXECUTION_INPUT_DIR)/%.rs,$(EXECUTION_OUTPUT_DIR)/%.rs.executed.kore,$(EXECUTION_INPUTS))
-INDEXING_OUTPUTS ::= $(patsubst %.rs.executed.kore,%.rs.indexed.kore,$(EXECUTION_OUTPUTS))
-EXECUTION_STATUSES ::= $(patsubst %.rs.executed.kore,%.rs.status,$(EXECUTION_OUTPUTS))
+PREPROCESSING_INPUTS ::= $(wildcard $(PREPROCESSING_INPUT_DIR)/*.rs)
+PREPROCESSING_OUTPUTS ::= $(patsubst $(PREPROCESSING_INPUT_DIR)/%.rs,$(PREPROCESSING_OUTPUT_DIR)/%.rs.preprocessed.kore,$(PREPROCESSING_INPUTS))
+PREPROCESSING_STATUSES ::= $(patsubst %.rs.preprocessed.kore,%.rs.status,$(PREPROCESSING_OUTPUTS))
 
 .PHONY: clean build test syntax-test indexing-test
 
@@ -25,8 +24,7 @@ test: syntax-test indexing-test
 
 syntax-test: $(SYNTAX_OUTPUTS)
 
-indexing-test: $(INDEXING_OUTPUTS)
-	echo $(INDEXING_OUTPUTS)
+indexing-test: $(PREPROCESSING_OUTPUTS)
 
 $(RUST_TIMESTAMP): $(SEMANTICS_FILES)
 	$$(which kompile) rust-semantics/rust.md -o $(RUST_KOMPILED)
@@ -35,8 +33,8 @@ $(SYNTAX_OUTPUT_DIR)/%.rs-parsed: $(SYNTAX_INPUT_DIR)/%.rs $(RUST_TIMESTAMP)
 	mkdir -p $(SYNTAX_OUTPUT_DIR)
 	kast --definition $(RUST_KOMPILED) $< --sort Crate > $@.tmp && mv -f $@.tmp $@
 
-$(EXECUTION_OUTPUT_DIR)/%.rs.indexed.kore: $(EXECUTION_INPUT_DIR)/%.rs $(RUST_TIMESTAMP)
-	mkdir -p $(EXECUTION_OUTPUT_DIR)
+$(PREPROCESSING_OUTPUT_DIR)/%.rs.preprocesssed.kore: $(PREPROCESSING_INPUT_DIR)/%.rs $(RUST_TIMESTAMP)
+	mkdir -p $(PREPROCESSING_OUTPUT_DIR)
 	krun \
 		$< \
 		--definition $(RUST_KOMPILED) \

diff --git a/tests/execution/empty.rs → tests/preprocessing/empty.rs b/tests/execution/empty.rs → tests/preprocessing/empty.rs
diff --git a/tests/execution/function-arguments.rs → tests/preprocessing/function-arguments.rs b/tests/execution/function-arguments.rs → tests/preprocessing/function-arguments.rs
diff --git a/tests/execution/function-return-type.rs → tests/preprocessing/function-return-type.rs b/tests/execution/function-return-type.rs → tests/preprocessing/function-return-type.rs