testsuite/bc_boolean.bc

!0
!1
!(-129)
4 && 5
4 && 0
0 && 5
4 && 5 && 7
4 && 0 && 7
0 && 5 && 7
4 && 5 && 0
0 && 0 && 7
4 && 0 && 0
0 && 5 && 0
!4 && 5
!4 && 0
!0 && 5
4 && !5
4 && !0
0 && !5
!4 && 5 && 7
!4 && 0 && 7
!0 && 5 && 7
!4 && 5 && 0
!0 && 0 && 7
!4 && 0 && 0
!0 && 5 && 0
4 && !5 && 7
4 && !0 && 7
0 && !5 && 7
4 && !5 && 0
0 && !0 && 7
4 && !0 && 0
0 && !5 && 0
4 && 5 && !7
4 && 0 && !7
0 && 5 && !7
4 && 5 && !0
0 && 0 && !7
4 && 0 && !0
0 && 5 && !0
!4 && !5 && 7
!4 && !0 && 7
!0 && !5 && 7
!4 && !5 && 0
!0 && !0 && 7
!4 && !0 && 0
!0 && !5 && 0
!4 && 5 && !7
!4 && 0 && !7
!0 && 5 && !7
!4 && 5 && !0
!0 && 0 && !7
!4 && 0 && !0
!0 && 5 && !0
4 && !5 && !7
4 && !0 && !7
0 && !5 && !7
4 && !5 && !0
0 && !0 && !7
4 && !0 && !0
0 && !5 && !0
!4 && !5 && !7
!4 && !0 && !7
!0 && !5 && !7
!4 && !5 && !0
!0 && !0 && !7
!4 && !0 && !0
!0 && !5 && !0
3 < 4 && 7
3 && 4 >= 4
3 > 4 && 7
3 && 4 >= 5
3 < 4 && 0
0 && 4 >= 4
3 > 4 && 0
0 && 4 >= 5
3 > 4 && 0
0 && 4 < 4
3 >= 4 && 0
0 && 4 >= 5
3 < 4 && 7
3 && 4 >= 4
3 > 4 && 7 > 4
3 >= 2 && 4 >= 5
3 < 4 && 0 > -1
4 < 3 && 4 >= 4
3 > 4 && 3 == 3
3 != 3 && 4 >= 5
3 > 4 && 0 > 1
0 >= 0 && 4 < 4
3 >= 4 && 0 >= 1
0 <= -1 && 4 >= 5
4 || 5
4 || 0
0 || 5
4 || 5 || 7
4 || 0 || 7
0 || 5 || 7
4 || 5 || 0
0 || 0 || 7
4 || 0 || 0
0 || 5 || 0
!4 || 5
!4 || 0
!0 || 5
4 || !5
4 || !0
0 || !5
!4 || 5 || 7
!4 || 0 || 7
!0 || 5 || 7
!4 || 5 || 0
!0 || 0 || 7
!4 || 0 || 0
!0 || 5 || 0
4 || !5 || 7
4 || !0 || 7
0 || !5 || 7
4 || !5 || 0
0 || !0 || 7
4 || !0 || 0
0 || !5 || 0
4 || 5 || !7
4 || 0 || !7
0 || 5 || !7
4 || 5 || !0
0 || 0 || !7
4 || 0 || !0
0 || 5 || !0
!4 || !5 || 7
!4 || !0 || 7
!0 || !5 || 7
!4 || !5 || 0
!0 || !0 || 7
!4 || !0 || 0
!0 || !5 || 0
!4 || 5 || !7
!4 || 0 || !7
!0 || 5 || !7
!4 || 5 || !0
!0 || 0 || !7
!4 || 0 || !0
!0 || 5 || !0
4 || !5 || !7
4 || !0 || !7
0 || !5 || !7
4 || !5 || !0
0 || !0 || !7
4 || !0 || !0
0 || !5 || !0
!4 || !5 || !7
!4 || !0 || !7
!0 || !5 || !7
!4 || !5 || !0
!0 || !0 || !7
!4 || !0 || !0
!0 || !5 || !0
3 < 4 || 7
3 || 4 >= 4
3 > 4 || 7
3 || 4 >= 5
3 < 4 || 0
0 || 4 >= 4
3 > 4 || 0
0 || 4 >= 5
3 > 4 || 0
0 || 4 < 4
3 >= 4 || 0
0 || 4 >= 5
3 < 4 || 7
3 || 4 >= 4
3 > 4 || 7 > 4
3 >= 2 || 4 >= 5
3 < 4 || 0 > -1
4 < 3 || 4 >= 4
3 > 4 || 3 == 3
3 != 3 || 4 >= 5
3 > 4 || 0 > 1
0 >= 0 || 4 < 4
3 >= 4 || 0 >= 1
0 <= -1 || 4 >= 5