Add generated pytket coverage report.

CQCL · Feb 9, 2024 · ef0c8a6 · ef0c8a6
1 parent cf845c7
commit ef0c8a6
Show file tree

Hide file tree

Showing 70 changed files with 140 additions and 140 deletions.
diff --git a/docs/pytket/test-coverage/cov.xml b/docs/pytket/test-coverage/cov.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" ?>
-<coverage version="7.4.1" timestamp="1707478313542" lines-valid="4742" lines-covered="4276" line-rate="0.9017" branches-valid="2181" branches-covered="1922" branch-rate="0.8812" complexity="0">
+<coverage version="7.4.1" timestamp="1707496028705" lines-valid="4742" lines-covered="4276" line-rate="0.9017" branches-valid="2181" branches-covered="1922" branch-rate="0.8812" complexity="0">
 	<!-- Generated by coverage.py: https://coverage.readthedocs.io/en/7.4.1 -->
 	<!-- Based on https://raw.githubusercontent.com/cobertura/web/master/htdocs/xml/coverage-04.dtd -->
 	<sources>

diff --git a/docs/pytket/test-coverage/d_08012a006a76c21d___init___py.html b/docs/pytket/test-coverage/d_08012a006a76c21d___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_9230bfd0e4e6043c___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -112,7 +112,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_9230bfd0e4e6043c___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_1272d75e06ac4ded___init___py.html b/docs/pytket/test-coverage/d_1272d75e06ac4ded___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -109,7 +109,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_17ad98c36267126a___init___py.html b/docs/pytket/test-coverage/d_17ad98c36267126a___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_9237de2469dec509___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -108,7 +108,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_9237de2469dec509___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_233a074811efd0b8___init___py.html b/docs/pytket/test-coverage/d_233a074811efd0b8___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_c5175643896bbad5___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -112,7 +112,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_c5175643896bbad5___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_279b3412bb2cd8cd___init___py.html b/docs/pytket/test-coverage/d_279b3412bb2cd8cd___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_08012a006a76c21d___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -111,7 +111,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_08012a006a76c21d___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_2b658646d7a10681___init___py.html b/docs/pytket/test-coverage/d_2b658646d7a10681___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_6d3d068c692f6e93___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -131,7 +131,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_6d3d068c692f6e93___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_40a0bc34eb303040___init___py.html b/docs/pytket/test-coverage/d_40a0bc34eb303040___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_97fdb3fa1489964e__version_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -91,7 +91,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_97fdb3fa1489964e__version_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_4f931ed56a8fa46e___init___py.html b/docs/pytket/test-coverage/d_4f931ed56a8fa46e___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_17ad98c36267126a___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -111,7 +111,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_17ad98c36267126a___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_57187138b46dbdfd___init___py.html b/docs/pytket/test-coverage/d_57187138b46dbdfd___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_2b658646d7a10681___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -112,7 +112,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_2b658646d7a10681___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_5d08fda6a8e102d3___init___py.html b/docs/pytket/test-coverage/d_5d08fda6a8e102d3___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_backend_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -113,7 +113,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_backend_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_5d08fda6a8e102d3_backend_exceptions_py.html b/docs/pytket/test-coverage/d_5d08fda6a8e102d3_backend_exceptions_py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_backendinfo_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -139,7 +139,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_backendinfo_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_5d08fda6a8e102d3_backend_py.html b/docs/pytket/test-coverage/d_5d08fda6a8e102d3_backend_py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_backend_exceptions_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -748,7 +748,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_backend_exceptions_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_5d08fda6a8e102d3_backendinfo_py.html b/docs/pytket/test-coverage/d_5d08fda6a8e102d3_backendinfo_py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_backendresult_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -425,7 +425,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_backendresult_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_5d08fda6a8e102d3_backendresult_py.html b/docs/pytket/test-coverage/d_5d08fda6a8e102d3_backendresult_py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_resulthandle_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -802,7 +802,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_resulthandle_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_5d08fda6a8e102d3_resulthandle_py.html b/docs/pytket/test-coverage/d_5d08fda6a8e102d3_resulthandle_py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_status_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -191,7 +191,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_5d08fda6a8e102d3_status_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_5d08fda6a8e102d3_status_py.html b/docs/pytket/test-coverage/d_5d08fda6a8e102d3_status_py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_9310eb0fd0d5d219___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -214,7 +214,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_9310eb0fd0d5d219___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_63469f7db78c0317___init___py.html b/docs/pytket/test-coverage/d_63469f7db78c0317___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_63469f7db78c0317_quipper_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -108,7 +108,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_63469f7db78c0317_quipper_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_63469f7db78c0317_quipper_py.html b/docs/pytket/test-coverage/d_63469f7db78c0317_quipper_py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_233a074811efd0b8___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -807,7 +807,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_233a074811efd0b8___init___py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_6bff7b6476abf104___init___py.html b/docs/pytket/test-coverage/d_6bff7b6476abf104___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_6bff7b6476abf104_tensor_eval_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -111,7 +111,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_6bff7b6476abf104_tensor_eval_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_6bff7b6476abf104_tensor_eval_py.html b/docs/pytket/test-coverage/d_6bff7b6476abf104_tensor_eval_py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="index.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -419,7 +419,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="index.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>

diff --git a/docs/pytket/test-coverage/d_6d3d068c692f6e93___init___py.html b/docs/pytket/test-coverage/d_6d3d068c692f6e93___init___py.html
@@ -67,7 +67,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_6d3d068c692f6e93_distribution_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
         <aside class="hidden">
             <button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -136,7 +136,7 @@ <h2>
             <a id="nextFileLink" class="nav" href="d_6d3d068c692f6e93_distribution_py.html">&#xbb; next</a>
             &nbsp; &nbsp; &nbsp;
             <a class="nav" href="https://coverage.readthedocs.io/en/7.4.1">coverage.py v7.4.1</a>,
-            created at 2024-02-09 11:31 +0000
+            created at 2024-02-09 16:26 +0000
         </p>
     </div>
 </footer>