Remember when I said we need formally verified adventure games? Well, I wrote one: http://svn.clifford.at/handicraft/2017/tttm/ … (see README for details)https://twitter.com/oe1cxw/status/850861311709851650 …
The focus of this work is on verifying that the game itself is free of dead ends. There are other methods to catch things like UB.
-
-
Have a look at this blog post on the Thimbleweed Park Dev Blog. This are the kind of problems I'm trying to detect: https://blog.thimbleweedpark.com/patch_notes
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.