From b0b82b6d990037b00228e81488bba27916fa869a Mon Sep 17 00:00:00 2001
From: Derek Verbrugge <derek.verbrugge@platonic.systems>
Date: Tue, 13 Sep 2022 15:49:15 -0400
Subject: [PATCH] Adds Xor but Haskell and Coq produce different results.

---
 test/TinyRAM/Spec/EndToEndSpec.hs | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/test/TinyRAM/Spec/EndToEndSpec.hs b/test/TinyRAM/Spec/EndToEndSpec.hs
index a8fe503..e103632 100644
--- a/test/TinyRAM/Spec/EndToEndSpec.hs
+++ b/test/TinyRAM/Spec/EndToEndSpec.hs
@@ -41,7 +41,7 @@ spec = describe "TinyRAM end to end" $ do
   --negative8bitTestCase
   --breakWKconstraintTestCase
   orTestCase
-  --xorTestCase
+  xorTestCase
   addTestNegativeTestCase
   --subTestCase
   --notTestCase
@@ -535,6 +535,25 @@ orTestCase =
     answer `shouldBe` Right 63
   
   --xorTestCase
+-- ; TinyRAM V=1.000 W=16 K=16
+-- mov r2, 15
+-- xor r1, r2, r2
+-- answer r1
+--should be 0
+
+xorTestCase :: Spec
+xorTestCase =
+  it "answers 63" $ do
+    let program =
+          construct
+            [ Mov (reg' 2) (imm 15),
+              Xor (reg' 0) (reg' 2) (reg 2),
+              Answer (reg 0)
+            ]
+    answer <- execute program (InputTape []) (InputTape [])
+    answer `shouldBe` Right 63
+
+
 addTestNegativeTestCase :: Spec
 addTestNegativeTestCase =
   it "answers 3" $ do