rta: visit the superstring created by explain_assert
[nit.git] / src / model / README.md
2014-07-21 Jean Privatsrc: some documentation on parser and model