Searched refs:compare_path_group (Results 1 – 1 of 1) sorted by relevance
239 if not self.compare_path_group(self.simgr) and self._validate_incongruency():261 def compare_path_group(self, pg): member in CongruencyCheck