Skip to content

oracles.ml: ajustement pour changement dans la runtime / utilisation de `test-scope`

Louis Gesbert requested to merge test-scope into main

Changement dans https://github.com/CatalaLang/catala/pull/611 relatif à la structure des erreurs, et au paramètre de position ajouté aux divisions.

Merge request reports