kframework/k — pull request #1194 by dwightguth (2014-11-19 19:16:15+00:00)
Title: Bug fixes in --pattern-matching + increased error logging

@yilongli please review

A couple small bug fixes for pattern matching, plus I added some additional options to make it easier for non-K-developers to debug their definitions in the java backend.