func TestEqualArgSets(t *testing.T) { args1 := dung.NewArgSet(a1, a2, a2) args2 := dung.NewArgSet(a2, a2, a1) expected := true actual := args1.Equals(args2) if expected != actual { t.Errorf("expected EqualArgSets(%s,%s)", args1, args2) } }
func TestEvenCycle1PreferredLabelling(t *testing.T) { inFile, err := os.Open("AFs/even_cycle1.tgf") if err != nil { log.Fatal(err) } af, err := tgf.Import(inFile) actual := af.PreferredExtensions() e1 := dung.NewArgSet(a1) e2 := dung.NewArgSet(a2) expected := []dung.ArgSet{e1, e2} //fmt.Printf("actual: %v\n", actual) //fmt.Printf("expected: %v\n", expected) if !dung.EqualArgSetSlices(actual, expected) { t.Errorf("expected %s, not %s.\n", expected, actual) } }
func TestAf2GroundedLabelling(t *testing.T) { inFile, err := os.Open("AFs/reinstatement1.tgf") if err != nil { log.Fatal(err) } af, err := tgf.Import(inFile) extension := af.GroundedExtension() expected := dung.NewArgSet(a3, a1) if !extension.Equals(expected) { t.Errorf("expected %s, not %s.\n", expected, extension) } }