From d877f3905cbfa88bad87e0797698edbee9361076 Mon Sep 17 00:00:00 2001 From: raj_mathe Date: Sat, 15 May 2021 10:59:20 +0200 Subject: [PATCH] =?UTF-8?q?master=20>=20master:=20codego=20-=20test=20nich?= =?UTF-8?q?t=20mehr=20wegen=20generics=20=C3=BCberspringen?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- codego/aussagenlogik/recursion/recursion_test.go | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/codego/aussagenlogik/recursion/recursion_test.go b/codego/aussagenlogik/recursion/recursion_test.go index 0961767..94d3788 100644 --- a/codego/aussagenlogik/recursion/recursion_test.go +++ b/codego/aussagenlogik/recursion/recursion_test.go @@ -187,9 +187,8 @@ func TestAtomsNoduplicates(test *testing.T) { assert.Equal(1, n, "Atome dürfen nicht mehrfach vorkommen!") } -func TestAtomsNononatoms(test *testing.T) { +func TestAtomsNoNonAtoms(test *testing.T) { test.Skip("Methode noch nicht implementiert") - test.Skip("Syntax for generic expressions in ANTLR4 g4 needs to be implemented.") var assert = assert.New(test) var fml formulae.Formula var val []string