From bb2b3f32afeaf38cc83875414da793ce9bf6f41c Mon Sep 17 00:00:00 2001
From: dkcumming <daniel.cumming@runtimeverification.com>
Date: Tue, 21 Jan 2025 22:56:35 +1000
Subject: [PATCH] Started doing failing check. Doesn't compare golden yet.

---
 Makefile | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/Makefile b/Makefile
index eb361c2..0c234ff 100644
--- a/Makefile
+++ b/Makefile
@@ -127,3 +127,22 @@ integration-test: build
 
 golden:
 	make integration-test DIFF=">"
+
+FAILING_DIR = $(CURDIR)/tests/integration/failing
+
+.PHONY: check-failing
+check-failing: SMIR      ?= $(CURDIR)/run.sh -Z no-codegen
+check-failing:
+	@mkdir -p $(TESTDIR) # Ensure passing directory exists
+	for rust in $(FAILING_DIR)/*.rs; do \
+		echo $${rust}; \
+		if ${SMIR} $${rust}; then \
+			target=$${rust%.rs}.smir.json.expected; \
+			mv $${rust} "$(TESTDIR)/"; \
+			mv $${target} "$(TESTDIR)/"; \
+			echo "Moved $${rust} to $(TESTDIR)/"; \
+			echo "Moved $${target} to $(TESTDIR)/"; \
+		else \
+			echo "Failed: $${rust} remains in $(FAILING_DIR)/"; \
+		fi \
+	done