In this post we’ll exercise the symbolic execution engine KLEE over a funny ASCII Maze (yet another toy example)! VS. Maze dimensions: 11x7 Player pos: 1x1 Iteration no. 0 Program the player moves with a sequence of 'w', 's', 'a' or 'd' Try to reach the prize(#)! +-+---+---+ |X| |#| | | --+ | | | | | | | | +-- | | | | | | +-----+---+ The match is between a tiny maze-like game coded in C versus the
![The Symbolic Maze!](https://cdn-ak-scissors.b.st-hatena.com/image/square/eed0e0ddca922491de0edcf5100574eabb21d3f7/height=288;version=1;width=512/https%3A%2F%2Ffeliam.files.wordpress.com%2F2010%2F10%2Fmaze_klee_allerrors.gif)