From: rtrimana <rtrimana@uci.edu>
Date: Sat, 13 Jun 2020 22:50:31 +0000 (-0700)
Subject: Making field exclusion checks more efficient.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=899f4a49b5d96061d6cc942a7ce26e8ec8958fa2;hp=899f4a49b5d96061d6cc942a7ce26e8ec8958fa2

Making field exclusion checks more efficient.
---