Skip to content

Compilateur de tests FIP -> tests Catala

Denis Merigoux requested to merge tests_fip into main

Il est essentiel pour la qualification de cette calculette de pouvoir exécuter les jeux d'essais au format FIP (exemple) sur la calculette Catala. Pour ce faire, il faut pouvoir transformer la spécification des entrées et sorties des tests FIP vers le format des tests en Catala).

Cette PR a pour objectif de fournir un compilateur de tests, format FIP-> format Catala. À faire :

  • squelette de compilation
  • écrire le harnais qui lance le test une fois compilé
  • écrire le parseur de tests FIP
  • rentrer toutes les cases de la 2042
  • rentrer toutes les correspondances avec des entrées Catala

Actuellement, autotest_fip.ml est fonctionnel mais les données du test ainsi que les correspondances M<->Catala sont hard-codées en OCaml. Dan le futur il faudra lire toutes ces informations depuis des fichiers externes mais je propose que nous fusionnons cette MR tout de suite car elle standardise la manière dont les tests sont écrits pour plus d'efficacité dans le contrôle des sorties Catala.

Edited by Denis Merigoux

Merge request reports