README


1
2
3
4
5
6
7
8
9
10
11
12
13
14

To run:

```sh
python3 ./codgen.py > tmp.py
python3 tmp.py
```

Output should be:

```
precondition: {}
do: {'name': 'Tomjon'}
is_fine: {}
```