also formatting

test/Main.hs

@@ -1,8 +1,26 @@
+import Instructions
 import State
 import Test.QuickCheck
 
+-- import Control.Lens
+
+myArgs =
+  Args
+    { replay = Nothing,
+      maxSuccess = 100,
+      maxDiscardRatio = 10,
+      maxSize = 10,
+      chatty = True,
+      maxShrinks = 500
+    }
+
+-- quickCheckWith myArgs prop_IntAdd
+
+-- Running this with a large max size leads quickCheck to hang, and that's bad
+prop_IntAdd :: State -> Bool
+prop_IntAdd state@(State {_int = i1 : i2 : is}) = i1 + i2 == head (_int (instructionIntAdd state))
+prop_IntAdd state = state == instructionIntAdd state
+
 main :: IO ()
 main = do
   putStrLn "hello"
-
-

test/MainOld.hs

@@ -2,6 +2,7 @@ import Control.Exception (assert)
 import Instructions
 import Push
 import State
+
 -- import Debug.Trace
 
 -- TODO: Need a function that can compare states.