Updated ContractModel tutorial (IntersectMBO#399)

* Small changes to Uniswap model; test out-of-order tokens

* Changes to GameStateMachine generation

* Add some negative testing to Spec.Uniswap

* Add HTML coverage reporting for on-chain coverage info

* First push on tutorial

* Add ...WithOptions versions of checkNoLockedFundsProof(Fast)

* Add No Locked Funds tutorial

* checkNoLockedFundsProof: only run the wallet strategy for wallets with something to gain.

* DynamicLogic: make anyActions_ generate a length depending on size parameter

* Add time awareness section to the tutorial

* Add coverage section to the tutorial

* Make nextReactiveState and monitoring work in CrashTolerance tests

* Add crash tolerance to the tutorial

* Add ghc options to Auction.hs

* Update tutorial Escrow specs to compile again

* Add section on Auction to the tutorial

* Enable SymValue in Actions (by deriving Data)

* Add actionName to ContractModel

* ContractModel: check *all* wallet balances, not just those changed in the model

* Short section about certification in tutorial

* fixed build errors in tutorial modules and ran updateMaterialized

Co-authored-by: John <john.hughes@quviq.com>

doc/default.nix

@@ -1,7 +1,7 @@
 { stdenv, lib, pythonPackages, sphinxcontrib-domaintools, sphinxcontrib-haddock, sphinx-markdown-tables, sphinxemoji, combined-haddock, ... }:
 stdenv.mkDerivation {
   name = "plutus-docs";
-  src = lib.sourceFilesBySuffices ./. [ ".py" ".rst" ".hs" ".png" ".svg" ".bib" ".csv" ".css" ];
+  src = lib.sourceFilesBySuffices ./. [ ".py" ".rst" ".hs" ".png" ".svg" ".bib" ".csv" ".css" ".html" ];
   buildInputs = with pythonPackages; [
     sphinx
     sphinx_rtd_theme

doc/plutus-doc.cabal

@@ -56,6 +56,13 @@ executable doc-doctests
       HandlingBlockchainEvents
       HelloWorldApp
       WriteScriptsTo
+      Escrow
+      Escrow2
+      Escrow3
+      Escrow4
+      Escrow5
+      Escrow6
+      EscrowImpl
     build-depends:
       base >=4.9 && <5,
       template-haskell >=2.13.0.0,
@@ -80,6 +87,8 @@ executable doc-doctests
       random -any,
       text -any,
       aeson -any,
+      tasty -any,
+      tasty-quickcheck -any
 
     if !(impl(ghcjs) || os(ghcjs))
         build-depends: plutus-tx-plugin -any