lib/symbioticpy/symbiotic/targets/predator.py
def passes_before_verification(self):
        """
        Passes that should run before CPAchecker
        """
        # llvm2c has a bug with PHI nodes
        return ["-lowerswitch", "-simplifycfg"]

        Passes that should run before CPAchecker
        
Passes that should run before CPAchecker
Passes that should run before CPAchecker
def passes_before_verification(self):
        return ["-lowerswitch", "-simplifycfg"]
def passes_before_verification ( self ) : return [ "-lowerswitch" , "-simplifycfg" ]
Passes that should run before CPAchecker
Passes that should run before CPAchecker
"""
        Passes that should run before CPAchecker
        """ # llvm2c has a bug with PHI nodes
self