Build Status: Ideal-pancake

Project:

This a project for the lesson "Outils formels avancés".

Goal

The goal of this project is:

• find a "problem" we want to detect. Here it's some race problems with asynchronous functions
• define some abstract data type
• use this ADT to do formel proof on the property/"problems"

Tools

We will use:

• stew (github repo )
• ast
• flask
• asyncio

To reach the previous goals.

Documentation

You can learn and understand our structur with the tests. It show how to use the ADT.