diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-12 13:14:05 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-12 13:14:05 +0100 |
commit | f1521c9769f9b28cf658a9255dbfc16c98870da9 (patch) | |
tree | 702bda9a5ef6210e2139633dc18c69fe995f1b92 /monkey/edits.py | |
parent | 740e128bb32075279dd62c677b27c645805cb5e2 (diff) |
Get number of passed/total tests from Prolog test functions
Diffstat (limited to 'monkey/edits.py')
-rw-r--r-- | monkey/edits.py | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/monkey/edits.py b/monkey/edits.py index ae44301..73f692d 100644 --- a/monkey/edits.py +++ b/monkey/edits.py @@ -234,13 +234,11 @@ if __name__ == '__main__': # Check for cached results. normal_code = stringify(rename_vars(tokenize(code))) code_key = (normal_code, tuple(dependencies)) - if code_key in test_results[pid]: - return test_results[pid][code_key] - - aux_code = '\n' + solutions_for_problems(problem.language, dependencies) + '\n' + facts - correct, hints = problem_module.test(code, aux_code) - test_results[pid][code_key] = correct - return correct + if code_key not in test_results[pid]: + aux_code = '\n' + solutions_for_problems(problem.language, dependencies) + '\n' + facts + n_correct, n_all, _ = problem_module.test(code, aux_code) + test_results[pid][code_key] = (n_correct, n_all) + return test_results[pid][code_key] print('Analyzing traces for {}… '.format(problem.identifier), end='', flush=True) print('{} traces… '.format(len(solutions)), end='', flush=True) |