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

• Show log

  Commit

• Hash : 5da26941
  Author : Thomas de Grivel
  Date : 2023-07-25T23:08:48
  

  remove whitespace from ic3

Download

• test/ic3/bool.out.expected

• true
  false
  true
  false
  false
  false
  false
  true
  false
  true
  true
  true
  true
  false
  

Download