# Validation and Verification: Practical Session

This practical session will help to better understand property-based testing, and in particular the tool [jqwik](https://jqwik.net/).

## Exercises

You can access the exercises [here](sujet.md)

## Lab implementation

You can realize this lab by group of 1 or 2. 

## Deliverable and evaluation

Students are free to realize either this practical work or the [TP5](https://gitlab2.istic.univ-rennes1.fr/VV-2025-2026/VV-ISTIC-TP5). 

You must **fork this repository** and submit a **merge request** with your answers directly here.  

**Deadline:** December 19th, 2025, at 23:59.

**Important:** To be considered for grading, all members of the group must be **tagged in the description** of the merge request.