Move README for cbmc output

aws · Oct 4, 2023 · def101c · def101c
1 parent ba6b4c6
commit def101c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/test/cbmc/output/README.md b/test/cbmc/output/README.md
diff --git a/test/cbmc/output/latest/html/README.md b/test/cbmc/output/latest/html/README.md
@@ -0,0 +1,4 @@
+CBMC proof output
+=================
+
+This directory contains the output from a run of cbmc.