search

klee-contrib / topmodel

Outil de modélisation et générateurs pour divers langages
https://klee-contrib.github.io/topmodel/#/
MIT License
9 stars 9 forks source link

[TmdGen] Le modelRoot n'est pas pris en compte dans la génération des "uses' #392

Closed gideruette closed 3 days ago

gideruette commented 3 days ago

Du coup le model n'est pas valide si on n'est pas à la racine