log src/main/gov/nasa/jpf/listener/NonSharedChecker.java @ 26:4eb191cbb68c

age author description
Mon, 04 May 2015 22:10:33 -0700 Peter Mehlitz moved NonShared + checker listener over from old jpf-aprop. Note this is still a JVM specific listener but it could be VM agnostic