search

ilsordo / SAT-SMT-Solver

A SAT/SMT solver in OCaml
2 stars 2 forks source link

Où sont les tests? #4

Closed ilsordo closed 10 years ago

ilsordo commented 10 years ago

Je n'ai trouvé que des tests pour color dans un dossier de archive.

yhamoudi commented 10 years ago

Mince ils ont disparu :( pourtant je suis sur d'avoir fait un git add après regroupement des tests en sous-dossiers. J'ai pas accès avant lundi à l'ordi sur lequel ce dossier doit subsister...

ilsordo commented 10 years ago

je vais les exhumer d'un vieux commit, j'espère ne rien casser