I thought of some checks we could do on the input supplied by users before we generate any random model with it. This would avoid unexpected results or crashes from the generator.
I suggest we check:
[ ] that the grammar is not cyclic, i.e., that a non-terminal cannot end-up referencing itself,
[ ] that the ASSETS file contains assets for every and all terminals of the grammar,
[ ] that the grammar defines the modelrule,
[ ] that the grammar is a correct grammar, i.e., that it conforms to a universal grammar for grammars, which we should therefore write.
Hi guys.
I thought of some checks we could do on the input supplied by users before we generate any random model with it. This would avoid unexpected results or crashes from the generator.
I suggest we check:
ASSETSfile contains assets for every and all terminals of the grammar,modelrule,