summaryrefslogtreecommitdiff
path: root/tests/LISEZMOI
diff options
context:
space:
mode:
Diffstat (limited to 'tests/LISEZMOI')
-rw-r--r--tests/LISEZMOI18
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/LISEZMOI b/tests/LISEZMOI
new file mode 100644
index 0000000..6ee526d
--- /dev/null
+++ b/tests/LISEZMOI
@@ -0,0 +1,18 @@
+
+Les tests sont organisés en différentes catégories :
+
+ syntax/bad/ refusés à l'analyse lexicale ou syntaxique
+ typing/bad/ refusés à l'analyse sémantique
+ typing/good/ acceptés à l'analyse sémantique
+ exec-fail/ compilés avec succès mais l'exécution du code MIPS doit échouer
+ exec/ compilés et exécutés avec succès, le résultat attendu étant
+ conforme au fichier .out
+
+Les tests sont cumulatifs i.e.
+
+- les fichiers de typing/bad/, exec-fail/ et exec/ peuvent être
+ utilisés pour la catégorie syntax/good/
+
+- les fichiers de exec-fail/ et exec/ peuvent être
+ utilisés pour la catégorie typing/good/
+