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

• Show log

  Commit

• Hash : b2b63372
  Author : Thomas de Grivel
  Date : 2023-11-03T16:31:26
  

  show supported systems in README.md, fix tests

Download

• test/ic3/bool.in

• quote true
  true
  quote false
  false
  quote true
  true
  quote false
  false
  quote false && false
  false && false
  quote false && true
  false && true
  quote true && false
  true && false
  quote true && true
  true && true
  quote false || false
  false || false
  quote false || true
  false || true
  quote true || false
  true || false
  quote true || true
  true || true
  quote ! false
  ! false
  quote ! true
  ! true
  quote ! ! false
  ! ! false
  quote ! ! true
  ! ! true
  

Download