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 <[email protected]>
raduom · Apr 21, 2022 · f9846e9 · f9846e9
1 parent 8827940
commit f9846e9
Show file tree

Hide file tree

Showing 65 changed files with 8,532 additions and 234 deletions.
diff --git a/doc/default.nix b/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

diff --git a/doc/plutus-doc.cabal b/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