11 lines
125 B
Plaintext
11 lines
125 B
Plaintext
|
(assert-static-fail a)
|
||
|
($ a 12)
|
||
|
(assert-static-fail ($ a 3))
|
||
|
|
||
|
($ b 13)
|
||
|
($ c a)
|
||
|
|
||
|
(assert= 12 a)
|
||
|
(assert= 13 b)
|
||
|
(assert= 12 c)
|