Skip to content
[Jenkins]Jenkins
log in

Test Result : OCASTAndOrTranslatorTest

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

All Tests

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