[ ] prend une description d'un contrat exprimé dans le DSL Niagara et une description des inputs à un instant donné ~dans un format JSON~
[ ] exhibe des incohérences contractuelles (comme une répartition incomplète dans un couloir par exemple)
[ ] produit un ~fichier CSV décrivant les décomptes~ décompte par acteur
Update: les formats JSON/CSV ne sont pas nécessaires dans cette version puisque le compilateur est intégré sous forme d'une lib. En revanche, Les types OCaml utilisés pour décrire les inputs/outputs sont nécessaires.
Spécification rapide :
Update: les formats JSON/CSV ne sont pas nécessaires dans cette version puisque le compilateur est intégré sous forme d'une lib. En revanche, Les types OCaml utilisés pour décrire les inputs/outputs sont nécessaires.