def test_check_result_tsql_pass(sol_res, stu_res):
    state = prepare_state(sol_res, stu_res)
    check_result_tsql(state)
def test_check_result_tsql_match_fail(sol_res, stu_res):
    state = prepare_state(sol_res, stu_res)
    with pytest.raises(TF):
        check_result_tsql(state)
def test_check_result_tsql_chain():
    state = prepare_state({'a': [1,2,3]}, {'a': [1,2,3]})
    Ex(state) >> check_result_tsql()