From ee5623ffef652cb3eced3570a75d6bd19161a956 Mon Sep 17 00:00:00 2001 From: demo Date: Sat, 30 May 2026 11:26:26 -0400 Subject: test: add test for xor --- hamlet_test.go | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/hamlet_test.go b/hamlet_test.go index 1a9df31..a6720e8 100644 --- a/hamlet_test.go +++ b/hamlet_test.go @@ -17,4 +17,9 @@ func TestAssertion(t *testing.T) { if v := theorem2.Assert(); v { t.Errorf("want %t, got %t", false, true) } + + theorem3 := Xor(p, q) + if !theorem3.Assert() { + t.Errorf("want %t, got %t", true, false) + } } -- cgit v1.2.3