35 lines
812 B
Plaintext
35 lines
812 B
Plaintext
|
(assert= true (> 5 2))
|
||
|
(assert= false (> 5 5))
|
||
|
(assert= false (> 5 8))
|
||
|
(assert= true (>= 5 2))
|
||
|
(assert= true (>= 5 5))
|
||
|
(assert= false (>= 5 8))
|
||
|
(assert= true (< 1 2))
|
||
|
(assert= false (< 3 3))
|
||
|
(assert= false (< 5 2))
|
||
|
(assert= true (<= 1 2))
|
||
|
(assert= true (<= 3 3))
|
||
|
(assert= false (<= 5 2))
|
||
|
|
||
|
(assert= true (> 5. 2.))
|
||
|
(assert= false (> 5. 5.))
|
||
|
(assert= false (> 5. 8.))
|
||
|
(assert= true (>= 5. 2.))
|
||
|
(assert= true (>= 5. 5.))
|
||
|
(assert= false (>= 5. 8.))
|
||
|
(assert= true (< 1. 2.))
|
||
|
(assert= false (< 3. 3.))
|
||
|
(assert= false (< 5. 2.))
|
||
|
(assert= true (<= 1. 2.))
|
||
|
(assert= true (<= 3. 3.))
|
||
|
(assert= false (<= 5. 2.))
|
||
|
|
||
|
(assert= true (= 12 12))
|
||
|
(assert= false (= 1 3))
|
||
|
(assert= false (<> 16 16))
|
||
|
(assert= true (<> 19 7))
|
||
|
|
||
|
(assert= true (= 12. 12.))
|
||
|
(assert= false (= 1. 3.))
|
||
|
(assert= false (<> 1.6 1.6))
|
||
|
(assert= true (<> 19. 7.))
|