blob: 7cd2de227b4f032f7857db3f5aaf65719477c623 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(fate_version 1)
(global string test_name)
(set! test_name TRIVIAL)
(global int test)
(assert! (= 1 1) [FAILED] (var test_name) Executing dead code 0.)
(if (= 1 2)
(assert! (= 1 2) [FAILED] (var test_name) Executing dead code 0.)
)
(ifelse (= 1 2)
(assert! (= 1 2) [FAILED] (var test_name) Executing dead code 1.)
(set! test 1)
)
(assert! (= (var test) 1) [FAILED] (var test_name) ignored valid branch 0.)
(assert! (= (min 5 -1 2 3 1 4) -1) [FAILED] (var test_name) min op)
[COMPLETED] (var test_name)
(end!)
|
