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

• Show log

  Commit

• Hash : 0c3101e8
  Author : Thomas de Grivel
  Date : 2023-07-25T22:59:08
  

  unary operator ! not

Download

• test/ic3/bool.out.expected

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

Download