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()