def _check_wcrt_constraints(constraints, task_results):
    """ Check all wcrt constraints and return a list of violating tasks
    """
    violations = list()
    for task, deadline in constraints._wcrt_constraints.items():
        if task_results[task].wcrt > deadline:
            violations.append(task)
    return violations