test/ic3/bool.out.expected


Log

Author Commit Date CI Message
Thomas de Grivel 4e71dadc 2023-07-27T15:25:59 ! ! true
Thomas de Grivel 18e8c357 2023-07-26T12:54:04 test boolean comparison operators
Thomas de Grivel 5da26941 2023-07-25T23:08:48 remove whitespace from ic3
Thomas de Grivel 0c3101e8 2023-07-25T22:59:08 unary operator ! not
Thomas de Grivel 7f6443d3 2023-07-25T22:13:58 wip
Thomas de Grivel 865d1524 2022-10-31T00:50:45 c3-lang