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

[Core] Dataflows : Ajouter la possibilité de définir des Hooks #299

Closed gideruette closed 1 year ago

gideruette commented 1 year ago

L'utilisateur pourra ensuite implémenter lui-même le code pour les hooks :