Vérifier une installation

Ce parcours vérifie l’installation, la compilation, l’interaction utilisateur et la lecture d’une trace, sans service externe ni clé de modèle.

Préparer l’essai

Installez la version adaptée à votre plateforme depuis le Hub, puis créez le fichier hello.tb du premier programme.

touba version
touba compile hello.tb --out hello.air.json
touba run hello.air.json --interactive-user-inputs --trace-out trace-success.json
touba inspect trace-success.json

Résultats attendus

Étape	Vérification
Version	La version correspond au fichier installé ; la build identifie son contenu
Compilation	hello.air.json est créé
Exécution	Le message s’affiche et le terminal demande une réponse
Trace	Les événements décrivent le déroulement et sa fin
Éditeur, si utilisé	Touba Language Toolkit affiche les diagnostics du fichier

Pour signaler un problème, indiquez le système, la version de Touba, la commande, le résultat attendu et le résultat obtenu. Retirez les secrets et les données personnelles des éléments partagés.

Tester votre application

Poursuivez avec les tests métier : un cas autorisé vérifie le résultat et les effets attendus ; un cas refusé vérifie le contrôle et l’absence d’effet interdit.

La page des benchmarks présente séparément l’évaluation comparative, les contrôles d’implémentation et les propriétés formelles.