summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README14
1 files changed, 14 insertions, 0 deletions
diff --git a/README b/README
new file mode 100644
index 0000000..9b990f0
--- /dev/null
+++ b/README
@@ -0,0 +1,14 @@
+To run:
+
+```sh
+python3 ./codgen.py > tmp.py
+python3 tmp.py
+```
+
+Output should be:
+
+```
+precondition: {}
+do: {'name': 'Tomjon'}
+is_fine: {}
+```