kc3-lang/kc3/test/ic3/bool.out.expected

• 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.out.expected

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

Download