Skip to content

MartinusR/Tests-Compilation

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

48 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Collection des pires tests pour le projet de compil

Les tests sont organisés comme ceux du prof (cf ci-dessous), de sorte que son script fonctionne toujours. Quand vous ajoutez des fichiers, faites-le au bon endroit et sous la forme (votre nom|votre pseudo|le nom de votre poisson rouge)-testname-number.adb (comme ça on peut vous insulter quand on se rend compte qu'on a pas le bon comportement sur votre test).

Un dossier opt/ contenant la même arborescence que le dossier principal (i.e. un dossier typing/, exec/...) est prévu pour contenir vos tests qui utilisent des fonctionnalités de Ada non présentes en Mini-Ada (commentaires explicatifs obligatoires).

Les tests sont organisés en différentes catégories :

  • syntax/bad/ refusés à l'analyse lexicale ou syntaxique
  • syntax/good/ acceptés à l'analyse lexicale et 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 x86-64 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/

About

Tests pour le projet de Compilation

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Ada 100.0%