News for hackers. Stuff that matters.

A comment on Cracking Minesweeper with Z3 SMT Solver. Parent comment

Re:Cracking Minesweeper with Z3 SMT Solver by OJFord on Sunday March 05, 2017 @04:08PM (#13798649)
Nice :) - FYI though with Chrome on macOS marking a flag works, but also opens the context menu.
[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by ronilan on Monday March 06, 2017 @02:47AM (#13801291)
Looking into it I'm guessing you had console open and in mobile mode (pointer is a dot). Right? In that case there is no "right-click" event in the document context. If you want console open and desktop mode, there is a little icon there to "Toggle device toolbar". Digging into Chrome tools, what a way to spend Sunday night!
[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by OJFord on Tuesday March 07, 2017 @09:10PM (#13817229)
Nope, console was closed. But going back to it, it's fine now! Very strange.

(The game state saved in local storage, very nice :))

[ Parent | on HN ]