From f397def03e00d57adbf7958e944af572ef3d523d Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 22 Nov 2017 09:49:30 +0100
Subject: [PATCH] tests: add tests for parallel algorithms

* tests/ltsmin/check.test: here.
---
 tests/ltsmin/check.test | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/tests/ltsmin/check.test b/tests/ltsmin/check.test
index ee8428015..bd94c83d6 100755
--- a/tests/ltsmin/check.test
+++ b/tests/ltsmin/check.test
@@ -77,3 +77,17 @@ cat stderr
 grep 'No variable' stderr
 grep 'No state' stderr
 grep 'Unexpected' stderr
+
+# Test parallel algorithms
+
+# Test Deadlock
+run 0 ../modelcheck --model beem-peterson.4.dve2C \
+    --csv --has-deadlock -p 3 >stdout
+test `grep "#" stdout | awk -F',' '{print $4}'` = "NO-DEADLOCK"
+
+
+# Test Bloemen
+run 0 ../modelcheck --model beem-peterson.4.dve2C \
+    --csv --bloemen -p 3 >stdout
+test `grep "#" stdout | awk -F',' '{print $7}'` -eq 29115
+