test: add test for xor

1 files changed, 5 insertions, 0 deletions

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)
+	}
 }