prob_cov_runner.pl

Module Information

Module Information

48 Lines

2 Predicates

Imported Modules:           prob_cli          test_runner          version          file_systems

0 Exports

3 specified Imports

Imports	Exports
Name:    ajoin/2 Module:    tools_strings Name:    module_info/3 Module:    module_information Name:    set_generating_coverage/0 Module:    testcases

Predicates

Predicates:

coverage_group_data/1

write_coverage_data/2

coverage_group_data/1

coverage_group_data/1

write_coverage_data/2

write_coverage_data/2

Determinacy Checker

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_avl_custom,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(prob_cli) does not exist
! goal: absolute_file_name(probsrc(prob_cli),_3845,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/tests/prob_cov_runner.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file covsrc(coverage_tools) does not exist
! goal: absolute_file_name(covsrc(coverage_tools),_4245,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/tests/prob_cov_runner.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(prob_cli) does not exist
! goal: absolute_file_name(probsrc(prob_cli),_10193,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/tests/test_runner.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(junit_tests) does not exist
! goal: absolute_file_name(probsrc(junit_tests),_5121,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/tests/test_runner.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/tests/prob_cov_runner.pl')])