push doc update to github pages

OCamlPro · Mar 1, 2019 · a49afe8 · a49afe8
1 parent 65fe281
commit a49afe8
Show file tree

Hide file tree

Showing 8 changed files with 14 additions and 174 deletions.
diff --git a/docs/user_doc/print.html b/docs/user_doc/print.html
@@ -921,7 +921,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:2] address[0]@Transfer -&gt; address[1]@main 13utz True
 =&gt; live contracts: SimpleExample (23utz) address[1]@main
 
-=&gt; live contracts: SimpleExample (23utz) address[1]@main
 
 running test script...
 stack:
@@ -1129,24 +1128,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 
 applying operation CREATE[uid:2] (@address[3]@admins, &quot;sha512:@contract_manager&quot;, None, false, true, 0utz) &quot;Admins&quot;
    live contracts: none
-=&gt; live contracts: Admins (0utz) address[3]@admins
-applying operation CREATE[uid:1] (@address[2]@new_admin, &quot;sha512:@new_admin_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: Admins (0utz) address[3]@admins
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-applying operation CREATE[uid:0] (@address[1]@root, &quot;sha512:@root_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
 =&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
@@ -1266,24 +1247,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 
 applying operation CREATE[uid:2] (@address[3]@admins, &quot;sha512:@contract_manager&quot;, None, false, true, 0utz) &quot;Admins&quot;
    live contracts: none
-=&gt; live contracts: Admins (0utz) address[3]@admins
-applying operation CREATE[uid:1] (@address[2]@new_admin, &quot;sha512:@new_admin_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: Admins (0utz) address[3]@admins
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-applying operation CREATE[uid:0] (@address[1]@root, &quot;sha512:@root_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
 =&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
@@ -1323,13 +1286,16 @@ <h1 class="menu-title">Techelson User Documentation</h1>
   MUST_FAIL[uid:4] _ (TRANSFER[uid:3] address[0]@MustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin)))
 while running operation TRANSFER[uid:3] address[0]@MustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin))
 failed with value &quot;illegal access to admin account&quot; : string
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-                   &lt;anonymous&gt; (0utz) address[1]@root
 
 running test script...
 Done running test `MustFail`
 
+</code></pre>
+<p>Notice that Techelson lets you know the failure is confirmed:</p>
+<pre><code>failure confirmed on test operation
+  MUST_FAIL[uid:4] _ (TRANSFER[uid:3] address[0]@MustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin)))
+while running operation TRANSFER[uid:3] address[0]@MustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin))
+failed with value &quot;illegal access to admin account&quot; : string
 </code></pre>
 <a class="header" href="#more-precise-failure-testing" id="more-precise-failure-testing"><h2>(More) Precise Failure Testing</h2></a>
 <p>Now, <code>MUST_FAIL</code> (as it is used here) succeeds if the transfer ends in a <em>tezos protocol</em> failure.
@@ -1355,24 +1321,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 
 applying operation CREATE[uid:2] (@address[3]@admins, &quot;sha512:@contract_manager&quot;, None, false, true, 0utz) &quot;Admins&quot;
    live contracts: none
-=&gt; live contracts: Admins (0utz) address[3]@admins
-applying operation CREATE[uid:1] (@address[2]@new_admin, &quot;sha512:@new_admin_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: Admins (0utz) address[3]@admins
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-applying operation CREATE[uid:0] (@address[1]@root, &quot;sha512:@root_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
 =&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
@@ -1413,9 +1361,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
   MUST_FAIL[uid:4] &quot;illegal access to admin account&quot; : string (TRANSFER[uid:3] address[0]@PreciseMustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin)))
 while running operation TRANSFER[uid:3] address[0]@PreciseMustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin))
 failed with value &quot;illegal access to admin account&quot; : string
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-                   &lt;anonymous&gt; (0utz) address[1]@root
 
 running test script...
 Done running test `PreciseMustFail`
@@ -1500,24 +1445,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 
 applying operation CREATE[uid:2] (@address[3]@admins, &quot;sha512:@contract_manager&quot;, None, false, true, 0utz) &quot;Admins&quot;
    live contracts: none
-=&gt; live contracts: Admins (0utz) address[3]@admins
-applying operation CREATE[uid:1] (@address[2]@new_admin, &quot;sha512:@new_admin_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: Admins (0utz) address[3]@admins
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-applying operation CREATE[uid:0] (@address[1]@root, &quot;sha512:@root_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
 =&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
@@ -1585,9 +1512,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
 
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-                   &lt;anonymous&gt; (0utz) address[1]@root
 
 running test script...
 Done running test `SetSource`
@@ -1644,7 +1568,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:1] address[0]@SimpleExampleTest1 -&gt; address[1] 120584798270008utz True
 =&gt; live contracts: SimpleExample (759142736525198utz) address[1]
 
-=&gt; live contracts: SimpleExample (759142736525198utz) address[1]
 
 running test script...
 Done running test `SimpleExampleTest1`
@@ -1896,7 +1819,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:1] address[0]@SimpleExampleTest1 -&gt; address[1] 120584798270008utz True
 =&gt; live contracts: SimpleExample (759142736525198utz) address[1]
 
-=&gt; live contracts: SimpleExample (759142736525198utz) address[1]
 
 running test script...
 Done running test `SimpleExampleTest1`
@@ -1916,7 +1838,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:1] address[2]@SimpleExampleTest2 -&gt; address[3] 520090578679187utz True
 =&gt; live contracts: SimpleExample (810126422944596utz) address[3]
 
-=&gt; live contracts: SimpleExample (810126422944596utz) address[3]
 
 running test script...
 
@@ -1926,7 +1847,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:2] address[2]@SimpleExampleTest2 -&gt; address[3] 845034275504874utz False
 =&gt; live contracts: SimpleExample (1655160698449470utz) address[3]
 
-=&gt; live contracts: SimpleExample (1655160698449470utz) address[3]
 
 running test script...
 Done running test `SimpleExampleTest2`

diff --git a/docs/user_doc/quick_ref/usage.html b/docs/user_doc/quick_ref/usage.html
@@ -198,7 +198,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:1] address[0]@SimpleExampleTest1 -&gt; address[1] 120584798270008utz True
 =&gt; live contracts: SimpleExample (759142736525198utz) address[1]
 
-=&gt; live contracts: SimpleExample (759142736525198utz) address[1]
 
 running test script...
 Done running test `SimpleExampleTest1`
@@ -218,7 +217,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:1] address[2]@SimpleExampleTest2 -&gt; address[3] 520090578679187utz True
 =&gt; live contracts: SimpleExample (810126422944596utz) address[3]
 
-=&gt; live contracts: SimpleExample (810126422944596utz) address[3]
 
 running test script...
 
@@ -228,7 +226,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:2] address[2]@SimpleExampleTest2 -&gt; address[3] 845034275504874utz False
 =&gt; live contracts: SimpleExample (1655160698449470utz) address[3]
 
-=&gt; live contracts: SimpleExample (1655160698449470utz) address[3]
 
 running test script...
 Done running test `SimpleExampleTest2`

diff --git a/docs/user_doc/searchindex.js b/docs/user_doc/searchindex.js
diff --git a/docs/user_doc/searchindex.json b/docs/user_doc/searchindex.json
diff --git a/docs/user_doc/testgen/example.html b/docs/user_doc/testgen/example.html
@@ -176,7 +176,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:1] address[0]@SimpleExampleTest1 -&gt; address[1] 120584798270008utz True
 =&gt; live contracts: SimpleExample (759142736525198utz) address[1]
 
-=&gt; live contracts: SimpleExample (759142736525198utz) address[1]
 
 running test script...
 Done running test `SimpleExampleTest1`

diff --git a/docs/user_doc/testing/failures.html b/docs/user_doc/testing/failures.html
@@ -317,24 +317,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 
 applying operation CREATE[uid:2] (@address[3]@admins, &quot;sha512:@contract_manager&quot;, None, false, true, 0utz) &quot;Admins&quot;
    live contracts: none
-=&gt; live contracts: Admins (0utz) address[3]@admins
-applying operation CREATE[uid:1] (@address[2]@new_admin, &quot;sha512:@new_admin_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: Admins (0utz) address[3]@admins
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-applying operation CREATE[uid:0] (@address[1]@root, &quot;sha512:@root_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
 =&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
@@ -454,24 +436,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 
 applying operation CREATE[uid:2] (@address[3]@admins, &quot;sha512:@contract_manager&quot;, None, false, true, 0utz) &quot;Admins&quot;
    live contracts: none
-=&gt; live contracts: Admins (0utz) address[3]@admins
-applying operation CREATE[uid:1] (@address[2]@new_admin, &quot;sha512:@new_admin_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: Admins (0utz) address[3]@admins
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-applying operation CREATE[uid:0] (@address[1]@root, &quot;sha512:@root_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
 =&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
@@ -511,13 +475,16 @@ <h1 class="menu-title">Techelson User Documentation</h1>
   MUST_FAIL[uid:4] _ (TRANSFER[uid:3] address[0]@MustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin)))
 while running operation TRANSFER[uid:3] address[0]@MustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin))
 failed with value &quot;illegal access to admin account&quot; : string
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-                   &lt;anonymous&gt; (0utz) address[1]@root
 
 running test script...
 Done running test `MustFail`
 
+</code></pre>
+<p>Notice that Techelson lets you know the failure is confirmed:</p>
+<pre><code>failure confirmed on test operation
+  MUST_FAIL[uid:4] _ (TRANSFER[uid:3] address[0]@MustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin)))
+while running operation TRANSFER[uid:3] address[0]@MustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin))
+failed with value &quot;illegal access to admin account&quot; : string
 </code></pre>
 <a class="header" href="#more-precise-failure-testing" id="more-precise-failure-testing"><h2>(More) Precise Failure Testing</h2></a>
 <p>Now, <code>MUST_FAIL</code> (as it is used here) succeeds if the transfer ends in a <em>tezos protocol</em> failure.
@@ -543,24 +510,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 
 applying operation CREATE[uid:2] (@address[3]@admins, &quot;sha512:@contract_manager&quot;, None, false, true, 0utz) &quot;Admins&quot;
    live contracts: none
-=&gt; live contracts: Admins (0utz) address[3]@admins
-applying operation CREATE[uid:1] (@address[2]@new_admin, &quot;sha512:@new_admin_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: Admins (0utz) address[3]@admins
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-applying operation CREATE[uid:0] (@address[1]@root, &quot;sha512:@root_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
 =&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
@@ -601,9 +550,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
   MUST_FAIL[uid:4] &quot;illegal access to admin account&quot; : string (TRANSFER[uid:3] address[0]@PreciseMustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin)))
 while running operation TRANSFER[uid:3] address[0]@PreciseMustFail -&gt; address[3]@admins 0utz (&quot;root&quot;, (&quot;new_admin&quot;, address[2]@new_admin))
 failed with value &quot;illegal access to admin account&quot; : string
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-                   &lt;anonymous&gt; (0utz) address[1]@root
 
 running test script...
 Done running test `PreciseMustFail`

diff --git a/docs/user_doc/testing/set_source.html b/docs/user_doc/testing/set_source.html
@@ -213,24 +213,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 
 applying operation CREATE[uid:2] (@address[3]@admins, &quot;sha512:@contract_manager&quot;, None, false, true, 0utz) &quot;Admins&quot;
    live contracts: none
-=&gt; live contracts: Admins (0utz) address[3]@admins
-applying operation CREATE[uid:1] (@address[2]@new_admin, &quot;sha512:@new_admin_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: Admins (0utz) address[3]@admins
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-applying operation CREATE[uid:0] (@address[1]@root, &quot;sha512:@root_manager&quot;, None, true, true, 0utz) 
-                       {
-                           storage unit ;
-                           parameter unit ;
-                           code ...;
-                       }
-   live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
 =&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
@@ -298,9 +280,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
                    Admins (0utz) address[3]@admins
                    &lt;anonymous&gt; (0utz) address[1]@root
 
-=&gt; live contracts: &lt;anonymous&gt; (0utz) address[2]@new_admin
-                   Admins (0utz) address[3]@admins
-                   &lt;anonymous&gt; (0utz) address[1]@root
 
 running test script...
 Done running test `SetSource`

diff --git a/docs/user_doc/testing/transfers.html b/docs/user_doc/testing/transfers.html
@@ -232,7 +232,6 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 running TRANSFER[uid:2] address[0]@Transfer -&gt; address[1]@main 13utz True
 =&gt; live contracts: SimpleExample (23utz) address[1]@main
 
-=&gt; live contracts: SimpleExample (23utz) address[1]@main
 
 running test script...
 stack: