From 3e2aa1b8ffe55a33cf74b761f97dc01a844b7c12 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Sat, 14 May 2016 15:01:31 +0200
Subject: [PATCH] =?UTF-8?q?Remove=20A(=20=CF=88=20R=20=CF=86)=20as=20it's?=
=?UTF-8?q?=20not=20supported=20by=20all=20CTL=20reasoners?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
randmu.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/randmu.py b/randmu.py
index 77a115f..0179c5a 100755
--- a/randmu.py
+++ b/randmu.py
@@ -538,7 +538,7 @@ def main(args):
os.makedirs(os.path.join(args.destdir, 'mlsolver'))
elif args.logic == 'CTL':
- connectives = [And, And, Or, Or, Box, Diamond, AF, AG, EF, EG, AU, AR, EU, ER]
+ connectives = [And, And, Or, Or, Box, Diamond, AF, AG, EF, EG, AU, EU]
os.makedirs(os.path.join(args.destdir, 'ctl'))
elif args.logic == 'ATL':
--
GitLab