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;
