Josef/experimenttable (#392)

* add table for experimental data * show figure
informalsystems · Jun 30, 2020 · 42ea5f5 · 42ea5f5
1 parent 87857e7
commit 42ea5f5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/spec/lightclient/README.md b/docs/spec/lightclient/README.md
@@ -41,6 +41,8 @@ TODO:
 - more detail on TLA+?
 - describe/cleanup the MC files 
 - more detail on how to run the model checker
+- some explanation about the experiments  
+  ![Experimental results](experiments.png)
 
 ## Fork Detection
 

diff --git a/docs/spec/lightclient/experiments.png b/docs/spec/lightclient/experiments.png