From 5f54a10f930f16988ec6b5a952f1268835182723 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Thu, 9 Jan 2020 10:25:47 +0100
Subject: [PATCH] readme updated

---
 README.md | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 8c716c8..dc1a2d1 100644
--- a/README.md
+++ b/README.md
@@ -10,10 +10,17 @@ This example showcase the different path termintaiton conditions possible and th
 
 This example showcase contract based verification, and the possibilies to extract proofs.
 
+## struct.rs
+
+This example show the case of partially symbolic structures.
+
 ## vcell_test.rs
 
-Simple test to showcase low-level access.
+Simple test to showcase low-level `vcell` access.
+
+## register_test.rs
 
+Simple test to showcase the use of the `volatile-register` abstraction.
 
 ## f401_minimal.rs
 
-- 
GitLab