sk_out(Ex). /*~ ~*/ sk_in(foo). /*~ ~*/ :- read_attvars(true). /*~ %~ install_attvar_expander(user) ~*/ :- set_prolog_flag(access_level,system). /*~ ~*/ sk_in(avar([vn='Ex',sk='SKF-666'])). /*~ ~*/ :- listing(sk_out/1). /*~ %~ skipped( listing( sk_out/1)) ~*/ :- listing(sk_in/1). /*~ %~ skipped( listing( sk_in/1)) ~*/ :- must((sk_in(VAR),get_attr(VAR,sk,What),What='SKF-666')). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_03.pfc % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_03/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_03 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/633 /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/attvar_03.pfc:49 %~ ?-( mpred_test( "Test_0001_Line_0000__sk_in_1_in_user", %~ user : ( sk_in(VAR) , %~ get_attr(VAR,sk,What) , %~ What='SKF-666'))). failure=info((why_was_true(user:(\+ (sk_in(_28160),get_attr(_28160,sk,_28182),_28182='SKF-666'))),nop(ftrace(user:(sk_in(_28160),get_attr(_28160,sk,_28182),_28182='SKF-666'))))) no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')). no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')). no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')). name = 'logicmoo.pfc.sanity_base.quick_test.ATTVAR_03-Test_0001_Line_0000__sk_in_1_in_user'. JUNIT_CLASSNAME = 'logicmoo.pfc.sanity_base.quick_test.ATTVAR_03'. JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 2s 2s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'attvar_03.pfc\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_sanity_base_quick_test_ATTVAR_03_Test_0001_Line_0000_sk_in_1_in_user-junit.xml ~*/ %~ unused(no_junit_results) Test_0001_Line_0000__sk_in_1_in_user result = failure. %~ test_completed_exit(8) ``` totalTime=1.000 FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k attvar_03.pfc (returned 8) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped']]>