Bug 474106 - spider solver sometimes shows solvable game as unsolvable
Summary: spider solver sometimes shows solvable game as unsolvable
Status: REPORTED
Alias: None
Product: kpat
Classification: Applications
Component: solver (show other bugs)
Version: 23.08.0
Platform: openSUSE Linux
: NOR minor
Target Milestone: ---
Assignee: Stephan Kulow
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-09-03 17:52 UTC by Steve Soule
Modified: 2023-09-03 17:53 UTC (History)
1 user (show)

See Also:
Latest Commit:
Version Fixed In:

Attachments
kpat saved game (27.08 KB, application/vnd.kde.kpatience.savedgame)
2023-09-03 17:52 UTC, Steve Soule 		Details
Video showing bug (149.50 KB, video/mp4)
2023-09-03 17:53 UTC, Steve Soule 		Details
View All Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
Description Steve Soule 2023-09-03 17:52:43 UTC 
Created attachment 161376 [details]
kpat saved game

SUMMARY
Sometimes the solver in KPatience Spider shows "Solver: This game is no longer winnable" when the game can still be won.

STEPS TO REPRODUCE
1. Load attached save game
2. Move red queen

OBSERVED RESULT
Message is "This game is no longer winnable" before the move.

EXPECTED RESULT
Message is "This game is winnable" or "Unable to determine if this game is winnable" before the move.

SOFTWARE/OS VERSIONS
Linux version: 6.4.11-1
distribution: openSUSE Tumbleweed 20230901 (x86_64)
kwin5 version: 5.27.7-1.2.x86_64
plasma5-workspace version: 5.27.7-3.1.x86_64
libQt5Core5 version: 5.15.10+kde129-2.2.x86_64
Comment 1 Steve Soule 2023-09-03 17:53:37 UTC 
Created attachment 161377 [details]
Video showing bug