docs(course): add regression test section

platonic-io · Feb 8, 2022 · c9577ac · c9577ac
1 parent 2b7f953
commit c9577ac
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/doc/advanced-testing-mini-course/README.md b/doc/advanced-testing-mini-course/README.md
@@ -102,6 +102,19 @@ prop_counter = forAll genProgram $ \(Program cmds) -> do
   undefined
 ```
 
+* Regression tests
+
+```haskell
+runProgram :: Program -> IO Bool
+runProgram = undefined
+
+assertProgram :: String -> Program -> Assertion
+assertProgram msg prog = do
+  b <- runProgram prog
+  assertBool msg b
+
+```
+
 * Excerises
 
 1. Implement shrinking for programs.