Searched refs:last_test (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py1080 last_test[0] = (hyp, hyps, list (self.pc_env_requests))
1103 last_failed_test[0] = last_test[0]
1118 last_test[0] = (self.interpret_hyp (hyp), hyps, reqs)
1124 last_test[0] = (self.interpret_hyp (hyp), hyps, reqs)
1125 last_failed_test[0] = last_test[0]
1132 last_test = [0] variable
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DtestACL2encoding.ml138 val last_test = ref (NONE : (string * (thm -> unit) * thm) option);
142 | SOME last => (last_test := SOME last ; print "Failed.\n");
143 fun run_last_function_test () = run_test (Option.valOf (!last_test))

Completed in 44 milliseconds