Failed

logicmoo.pfc.test.sanity_base.ATTVAR_02.logicmoo.pfc.test.sanity_base.ATTVAR_02@Test_0001_Line_0000__sk2_in_1_in_user: user:(sk2_in(_278048),get_attr(_278048,sk2,_278062),_278062==SKF-6667) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.ATTVAR_02)

Failing for the past 1 build (Since #9 )

Took 1 ms.

Failed with 0 retries

Run 1:

Error Message

failure = "failure=info((why_was_true(user:(\\+ (sk2_in(_6848),get_attr(_6848,sk2,_6870),_6870=='SKF-6667'))),nop(ftrace(user:(sk2_in(_6848),get_attr(_6848,sk2,_6870),_6870=='SKF-6667')))))\nno_proof_for(\\+ (sk2_in(In_Sk2),get_attr(In_Sk2,sk2,Attr_SKF_6667),Attr_SKF_6667=='SKF-6667')).\n\nno_proof_for(\\+ (sk2_in(In_Sk2),get_attr(In_Sk2,sk2,Attr_SKF_6667),Attr_SKF_6667=='SKF-6667')).\n\nno_proof_for(\\+ (sk2_in(In_Sk2),get_attr(In_Sk2,sk2,Attr_SKF_6667),Attr_SKF_6667=='SKF-6667')).\n\n". failure = [].

Standard Error

name=Test_0001_Line_0000__sk2_in_1_in_user
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.ATTVAR_02'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'attvar_02.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['attvar_02.pfc']")

```
goal=user:(sk2_in(_279496),get_attr(_279496,sk2,_279510),_279510=='SKF-6667').
time=0.0005502700805664062.
failure=failure=info((why_was_true(user:(\+ (sk2_in(_6848),get_attr(_6848,sk2,_6870),_6870=='SKF-6667'))),nop(ftrace(user:(sk2_in(_6848),get_attr(_6848,sk2,_6870),_6870=='SKF-6667')))))
no_proof_for(\+ (sk2_in(In_Sk2),get_attr(In_Sk2,sk2,Attr_SKF_6667),Attr_SKF_6667=='SKF-6667')).

no_proof_for(\+ (sk2_in(In_Sk2),get_attr(In_Sk2,sk2,Attr_SKF_6667),Attr_SKF_6667=='SKF-6667')).

no_proof_for(\+ (sk2_in(In_Sk2),get_attr(In_Sk2,sk2,Attr_SKF_6667),Attr_SKF_6667=='SKF-6667')).

result=failure.
goal=user:clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).
time=0.0028314590454101562.
result=passed.