From 9de378e9b0489775a41dedea085e9d77ca52e256 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Thu, 18 Jun 2020 15:02:43 +0200
Subject: Add initial Concuerror integration

https://concuerror.com/
---
 test/plugin_concuerror.mk | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 test/plugin_concuerror.mk

(limited to 'test/plugin_concuerror.mk')

diff --git a/test/plugin_concuerror.mk b/test/plugin_concuerror.mk
new file mode 100644
index 0000000..f1b9288
--- /dev/null
+++ b/test/plugin_concuerror.mk
@@ -0,0 +1,39 @@
+# Concuerror plugin.
+
+CONCUERROR_TARGETS = $(call list_targets,concuerror)
+
+.PHONY: concuerror $(CONCUERROR_TARGETS)
+
+concuerror: $(CONCUERROR_TARGETS)
+
+concuerror-app: init
+
+	$i "Bootstrap a new OTP application named $(APP)"
+	$t mkdir $(APP)/
+	$t cp ../erlang.mk $(APP)/
+	$t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
+
+	$i "Create a test module with a function that returns immediately"
+	$t mkdir $(APP)/test
+	$t printf "%s\n" \
+		"-module(concuerror_success)." \
+		"-export([test/0])." \
+		"test() -> ok." > $(APP)/test/concuerror_success.erl
+
+	$i "Add the test case to CONCUERROR_TESTS"
+	$t perl -ni.bak -e 'print;if ($$.==1) {print "CONCUERROR_TESTS += concuerror_success:test\n"}' $(APP)/Makefile
+
+	$i "Confirm that Concuerror completes successfully"
+	$t $(MAKE) -C $(APP) concuerror $v
+
+	$i "Create a test module with a function that has no local return"
+	$t printf "%s\n" \
+		"-module(concuerror_error)." \
+		"-export([test/0])." \
+		"test() -> 1 = 2, ok." > $(APP)/test/concuerror_error.erl
+
+	$i "Add the test case to CONCUERROR_TESTS"
+	$t perl -ni.bak -e 'print;if ($$.==1) {print "CONCUERROR_TESTS += concuerror_error:test\n"}' $(APP)/Makefile
+
+	$i "Confirm that Concuerror errors out"
+	$t ! $(MAKE) -C $(APP) concuerror $v
-- 
cgit v1.2.3