Il s'agit de la commande testsolv qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
testsolv - exécute un cas de test libsolv via le solveur
SYNOPSIS
testsolve [OPTIONS] CAS DE TEST
DESCRIPTION
Les outils testsolv peuvent être utilisés pour exécuter un scénario de test. Les cas de test peuvent être créés manuellement
pour tester des fonctionnalités spécifiques, ou elles peuvent être écrites par la fonction testcase_write de libsolv.
Ceci est utile pour évaluer les rapports de bogues concernant le solveur.
-v
Augmentez le niveau de débogage du solveur. Cette option peut être spécifiée plusieurs fois pour
augmenter encore la quantité de données de débogage.
-r
Écrivez la sortie au format testcase au lieu d'un texte lisible par l'homme. La sortie peut
ensuite être utilisé dans la section des résultats du cas de test. Si la -r l'option est donnée deux fois,
la sortie est formatée pour l'inclusion textuelle.
-l PKGSPEC
Au lieu d'exécuter le solveur, répertoriez les packages dans les référentiels.
-s SPÉCIFICATIONS DE SOLUTIONS
Ceci est utilisé dans la suite de tests du solveur pour tester les solutions calculées aux
problèmes.
Utilisez testsolv en ligne en utilisant les services onworks.net
