From 1e6f3fb7d8ac8e72ca38f08d7e4be5c835e3443a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 8 Feb 2022 17:51:04 +0100
Subject: Make progress on implementing support for types and functions like
 Option and Vec

---
 Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3ab65a08..22463da8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,9 @@
 all: build-run-check-trace
 
 CHARON_HOME=../charon/charon
-CHARON_TESTS_DIR=$(CHARON_HOME)/tests
-RS_TEST_FILE=tests/no_nested_borrows.rs
-CFIM_TEST_FILE=$(CHARON_TESTS_DIR)/no_nested_borrows.cfim
+CHARON_TESTS_DIR=$(CHARON_HOME)/tests/src
+RS_TEST_FILE1=tests/src/no_nested_borrows.rs
+CFIM_TEST_FILE1=$(CHARON_TESTS_DIR)/no_nested_borrows.cfim
 DEST_DIR=tests/
 
 # Build the project
@@ -14,7 +14,7 @@ build:
 # Build the project and run the executable
 .PHONY: build-run
 build-run: build
-	dune exec -- src/main.exe $(CFIM_TEST_FILE) -dest $(DEST_DIR) > tests/trace_current.txt
+	dune exec -- src/main.exe $(CFIM_TEST_FILE1) -dest $(DEST_DIR) > tests/trace_current.txt
 
 # Build the project and run the executable, then check that the behaviour
 # of the interpreter didn't change by comparing the newly generated trace
@@ -33,7 +33,7 @@ regen-trace: generate-cfim build-run
 
 .PHONY: generate-cfim
 generate-cfim:
-	cd ../charon/charon && cargo run $(RS_TEST_FILE)
+	cd ../charon/charon && cargo run $(RS_TEST_FILE1)
 
 doc:
 	dune build @doc
-- 
cgit v1.2.3