def my_funky_invariant_check(simulation): from sts.invariant_checker import InvariantChecker result = InvariantChecker.check_loops(simulation) if result: return result result = InvariantChecker.check_connectivity(simulation) if not result: print "Connectivity established - bailing out" import sys sys.exit(0) return []
def my_funky_invariant_check(simulation): from sts.invariant_checker import InvariantChecker result = InvariantChecker.check_loops(simulation) if result: return result return []
def check_for_loops_or_connectivity(simulation): result = InvariantChecker.check_loops(simulation) if result: return result return bail_on_connectivity(simulation)