kframework/k — pull request #347 by traiansf (2014-04-08 21:18:05+00:00)
Title: Updated agent examples to be run by ktest.

Had to remove output for p22 and p23 as they were non-deterministic.