Une adresse pour chaque écran, et un lien pour chaque position (0e.4) #43

Manually merged
pierre merged 9 commits from adresses-ecrans into main 2026-11-09 18:06:52 +00:00
Showing only changes of commit 2f1d36413e - Show all commits
+13 -4
View File
@@ -1223,10 +1223,19 @@ for (let actions = 0; ; actions++) {
} else {
await (await touchTarget("confirm", "Jouer ce coup", 2, confirms % 2)).click();
}
await waitForPlayer();
const played = await savedJournal();
check(countMoves(played, "player") === countMoves(journal, "player") + 1,
"le coup joué n'est pas dans le journal");
const next = await waitForPlayer();
// L'application enregistre sans attendre ; sur un disque lent,
// l'écriture d'IndexedDB peut suivre de loin : on lui laisse 10 s.
const expected = countMoves(journal, "player") + 1;
let played = await savedJournal();
for (let i = 0; i < 100 && countMoves(played, "player") < expected; i++) {
await sleep(100);
played = await savedJournal();
}
check(countMoves(played, "player") === expected,
`le coup joué n'est pas dans le journal : ${countMoves(played, "player")} coups ` +
`enregistrés, ${expected} attendus ; à l'écran : ${next}, ` +
`« ${await page.textContent("#info")} »`);
halfMoves = 0;
touched = false;
} else {