From 126e0719b3b77b7f539aa6389756df6fe4523350 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Fri, 17 May 2019 09:37:56 +0300 Subject: Add: README --- README | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 README 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: {} +``` -- cgit v1.2.1