Merge pull request mlabs-haskell#90 from mlabs-haskell/uhbif19/update…

…-report Update M3 report
uhbif19 · Jun 19, 2024 · cbf8a62 · cbf8a62
2 parents 8722465 + 73d1785
commit cbf8a62
Show file tree

Hide file tree

Showing 2 changed files with 78 additions and 1 deletion.
diff --git a/docs/auction-state-graph.svg b/docs/auction-state-graph.svg
diff --git a/docs/catalyst_milestone_reports.md b/docs/catalyst_milestone_reports.md
@@ -5,11 +5,16 @@
 Changes:
 
 * Running in emulated environment by CLB
+  ([source](https://github.com/mlabs-haskell/cem-script/blob/master/src/Cardano/CEM/Monads/CLB.hs), usage examples are all unit tests)
+* Running Quickcheck Dynamic tests, including mutation support
+  ([source](https://github.com/mlabs-haskell/cem-script/blob/master/src/Cardano/CEM/Testing/StateMachine.hs),
+  [usage example](https://github.com/mlabs-haskell/cem-script/blob/master/test/Dynamic.hs))
 * Rendering CEMScript state graphs
+  ([source](https://github.com/mlabs-haskell/cem-script/blob/master/src/Cardano/CEM/Documentation.hs), rendered example below)
 
 ## State graph examples
 
-![](./auction-state-graph.png)
+![](./auction-state-graph.svg)
 
 
 Source code: