From: rtrimana <rtrimana@uci.edu>
Date: Thu, 24 Sep 2020 18:02:47 +0000 (-0700)
Subject: Refresh the cached conflict transitions when performing backward DFS due to revisitin... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=9a7390f72d8cbcd5e6de01997afd673e46d6d258;hp=9a7390f72d8cbcd5e6de01997afd673e46d6d258

Refresh the cached conflict transitions when performing backward DFS due to revisiting the same state.
---