Determinacy Checker
Determinacy Checker:
! Existence error in argument 1 of absolute_file_name/3
! file library(test_cover) does not exist
! goal: absolute_file_name(library(test_cover),_2725,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/extensions/plspec/plspec/tests.pl')])
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(prob_safe_mode,false)
! Existence error in user:
environ/2
! procedure user:
environ/2
does not exist
! goal: user:environ(disable_plspec_runtime_checks,true)