runtimeverification/javamop — pull request #74 by xiaohe27 (2014-09-17 15:03:54+00:00)
Title: Parser comparator

I added two files which record the method calls invoked by javamop's parser and rv-monitor's parser. At the first glance, there are a large amount of overlaps between them.