Seriously guys, we need adventure game engines that can interface with formal verification flows. Should not be too hard to do.pic.twitter.com/fTHZSDLKuw
-
But most adventure games have irreversible actions. You can throw the Pepsi into the sink, but you can'd get tit back again.
("Use Pepsi with sink" was something you could do in Maniac Mansion. It would render the game unwinnable: The Pepsi is need somewhere else.)
