Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
def check_condition(code, unsatisfiable=True):
condition = ast.parse(code, mode='eval')
assert utils.condition_is_unsatisfiable(condition) == unsatisfiable