From: rtrimana <rtrimana@uci.edu>
Date: Mon, 21 Oct 2019 20:51:52 +0000 (-0700)
Subject: Adding more restrictions in conflict analysis: not to analyze fields from the Groovy... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=92913d69d358e98252d0278b5b96d7973566a958;hp=92913d69d358e98252d0278b5b96d7973566a958

Adding more restrictions in conflict analysis: not to analyze fields from the Groovy library.
---