WORKSHOP - Les Bases de Criterion avec Matteo Volpi et Lucas Tabis (Tek 2)

Nous commencerons la séance par une brève présentation de la librairie.

Puis nous vous aiderons individuellement sur un projet de votre choix pour réaliser vos tests.

Avant d'arriver au workshop, référez-vous à la documentation technique pour installer la lib sur vos ordinateurs (Intra > Documents > Public > technical documentations > install_criterion.sh).

Il est possible de faire des tests unitaires même pour l'egraph (en partie), donc n'hésitez pas à venir. Tous vos projets sont testables.

Sessions :

Tek1 : Jeudi 21 Février 13h30 - 15h30

Tek2 : Jeudi 21 Février 16h00 - 18h00

Nombre de places par session : 15

Lieu : 001 – Gondor

Durée de chaque session : 2h