Edit

kc3-lang/kc3/test/ic3/bool.in

Branch :

  • test/ic3/bool.in
  • true
    false
    true
    false
    false && false
    false && true
    true && false
    true && true
    false || false
    false || true
    true || false
    true || true
    ! false
    ! true
    ! ! false
    ! ! true
    1 < 1
    1 < 2
    2 < 1
    1 <= 1
    1 <= 2
    2 <= 1
    1 == 1
    1 == 2
    1 >= 1
    2 >= 1
    1 >= 2
    1 > 1
    2 > 1
    1 > 2