2024-06-28 01:09:00 +02:00
|
|
|
Feature: Résoudre le problème
|
|
|
|
|
2024-06-29 00:09:48 +02:00
|
|
|
Scenario: Vérification de la résolution du problème par le solveur de Simon
|
2024-06-28 01:09:00 +02:00
|
|
|
Given un echiquier vide
|
2024-06-29 00:09:48 +02:00
|
|
|
When le solveur Sim termine de résoudre le problème
|
2024-06-29 00:47:26 +02:00
|
|
|
Then aucune reine ne doit être menacée par une autre
|
2024-06-29 00:09:48 +02:00
|
|
|
And toutes les lignes doivent avoir une reine
|
2024-06-28 01:09:00 +02:00
|
|
|
And toutes les colonnes doivent avoir une reine
|
2024-06-29 00:09:48 +02:00
|
|
|
|
|
|
|
Scenario: Vérification de la résolution du problème par le solveur de Victor
|
|
|
|
Given un echiquier vide
|
|
|
|
When le solveur Vic termine de résoudre le problème
|
2024-06-29 00:47:26 +02:00
|
|
|
Then aucune reine ne doit être menacée par une autre
|
2024-06-29 00:09:48 +02:00
|
|
|
And toutes les lignes doivent avoir une reine
|
|
|
|
And toutes les colonnes doivent avoir une reine
|