diff options
| -rw-r--r-- | hamlet_test.go | 5 |
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) + } } |