Skip to content
[Jenkins]Jenkins
log in

Test Result : OCASTAndOrTranslatorTest

0 failures (±0)
64 tests (±0)
Took 37 ms.

All Tests

Test nameDurationStatus
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testAndWithLeftFalseShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testAndWithLeftFalseShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testAndWithLeftFalseShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testAndWithLeftFalseShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testAndWithLeftFalseShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)2 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testAndWithLeftFalseShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)2 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testAndWithLeftFalseShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testAndWithLeftFalseShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testAndWithLeftTrueEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testAndWithLeftTrueEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testAndWithLeftTrueEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testAndWithLeftTrueEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testAndWithLeftTrueEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testAndWithLeftTrueEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testAndWithLeftTrueEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testAndWithLeftTrueEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testFalseAndAnythingReturnsFalse(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testFalseAndAnythingReturnsFalse(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testFalseAndAnythingReturnsFalse(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testFalseAndAnythingReturnsFalse(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testFalseAndAnythingReturnsFalse(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testFalseAndAnythingReturnsFalse(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testFalseAndAnythingReturnsFalse(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testFalseAndAnythingReturnsFalse(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testFalseOrAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testFalseOrAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testFalseOrAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testFalseOrAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testFalseOrAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)7 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testFalseOrAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testFalseOrAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testFalseOrAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testOrWithLeftFalseEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testOrWithLeftFalseEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testOrWithLeftFalseEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testOrWithLeftFalseEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testOrWithLeftFalseEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testOrWithLeftFalseEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testOrWithLeftFalseEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testOrWithLeftFalseEvaluatesRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testOrWithLeftTrueShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testOrWithLeftTrueShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testOrWithLeftTrueShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testOrWithLeftTrueShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testOrWithLeftTrueShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testOrWithLeftTrueShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testOrWithLeftTrueShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testOrWithLeftTrueShortcircuitsRight(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testTrueAndAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testTrueAndAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testTrueAndAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testTrueAndAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testTrueAndAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testTrueAndAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testTrueAndAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testTrueAndAnythingReturnsAnything(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testTrueOrAnythingReturnsTrue(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testTrueOrAnythingReturnsTrue(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineAndOr)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testTrueOrAnythingReturnsTrue(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testTrueOrAnythingReturnsTrue(#encoder->EncoderForSistaV1 #extractBlockInTemp->false #optimization->#optionInlineNone)0 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testTrueOrAnythingReturnsTrue(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testTrueOrAnythingReturnsTrue(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineAndOr)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter / testTrueOrAnythingReturnsTrue(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed
Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / testTrueOrAnythingReturnsTrue(#encoder->EncoderForSistaV1 #extractBlockInTemp->true #optimization->#optionInlineNone)1 msPassed