Installation & Execution

Besoin d'avoir Rust et Cargo installés sur votre système.

Compiler le projet

cargo build

Lancer le projet

cargo run

Lancer les tests

Tous les tests :

cargo test

Tests d'un module spécifique :

cargo test parser
cargo test unification
cargo test forward
cargo test backward

Demos visuelles

Afficher les résultats de tous les modules :

cargo test demo_ -- --nocapture --test-threads=1

Demo d'un seul module :

cargo test demo_parser -- --nocapture
cargo test demo_unification -- --nocapture
cargo test demo_forward -- --nocapture
cargo test demo_backward -- --nocapture