def test2(): desc1 = DFADSC.form_desc1(); desc2 = DFADSC.form_desc2(); err_desc1 = DFADSC.form_err_desc1(); err_desc2 = DFADSC.form_err_desc2(); dfsa_1 = deterministic_finite_state_automaton("test1"); dfsa_1.unset_notification(); dfsa_1.import_desc(desc1); dfsa_1.check_desc_isDFA(); dfsa_1.check_desc_DFA_nontrivial(); dfsa_2 = deterministic_finite_state_automaton("test2"); dfsa_2.unset_notification(); dfsa_2.import_desc(desc2); dfsa_2.check_desc_isDFA(); dfsa_2.check_desc_DFA_nontrivial(); return (dfsa_1, dfsa_2);
def main(student_id, whether_continuous, continuous_type, \ solutions_dir, tests_dir, randomization): runtestx = run_test(student_id); runtestx.initialize_dfa_verif( \ student_id, solutions_dir, tests_dir); runtestx.change_verif_type(whether_continuous, continuous_type); if (randomization): runtestx.parameterize_randgen(20, 0, 10, 1.0); runtestx.initialize_testing(randomization); runtestx.specify_bench_names(); if (student_id == "course_staff"): desc1 = DFADSC.form_desc1(); desc2 = DFADSC.form_desc2(); err_desc1 = DFADSC.form_err_desc1(); err_desc2 = DFADSC.form_err_desc2(); new_dsc_tbl = {"DFA001":desc1, "DFA1010":desc2, \ "DFA0101":err_desc1, "DFA0011":err_desc2}; runtestx.import_curr_test_dsctable(new_dsc_tbl); runtestx.specify_bench_names(); runtestx.execute_tests(); return runtestx;