diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2018-05-24 23:40:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-24 23:40:11 +0100 |
| commit | 1e71e18e212e8f1eb628041067bf244d4410ddec (patch) | |
| tree | 3036d9e9f9667cb23b06b8f1952b7c907d3a9aca /src/runtime/python/examples/README | |
| parent | a2f9d9d8d5a32e2bf1b8126e371b826151903cde (diff) | |
| parent | a0849d8a5a54ef7321c291c0a6e55065f8cf0d5e (diff) | |
(gftest) Add --show-context + combine -o with -f,-c,-b
Added a few new features:
-o OldGrammar.pgf: if combined with -f , -c or -b , only test the specified trees+functions.
--show-context FId: shows contexts for the particular concrete category
--show-cats interacts with --debug by showing also concrete categories
Diffstat (limited to 'src/runtime/python/examples/README')
0 files changed, 0 insertions, 0 deletions