Repository navigation
Expand file tree
/
Copy pathfactorial.yaml
More file actions
15 lines (15 loc) · 1.6 KB
/
Copy pathfactorial.yaml
File metadata and controls
15 lines (15 loc) · 1.6 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
program: (a (q 2 2 (c 2 5)) (c (q 2 (i (> 3 (q . 1)) (q 18 3 (a 2 (c 2 (- 3 (q . 1))))) (q 1 . 1)) 1) 1))
debug_program: (a (q 2 2 (c 2 5)) (c (q 2 (i (> 3 (q . 1)) (q 18 3 (a 2 (c 2 (- 3 (q . 1))))) (q 1 . 1)) 1) 1))
solution: (5)
output: '120'
runtime_cost: 12876
byte_cost: 996000
total_cost: 1008876
tests:
- name: tests
program: (a (q 2 (i (= (a 2 (c 2 (q . -1))) (q . 1)) (q 2 (i (= (a 2 (c 2 ())) (q . 1)) (q 2 (i (= (a 2 (c 2 (q . 1))) (q . 1)) (q 2 (i (= (a 2 (c 2 (q . 2))) (q . 2)) (q 2 (i (= (a 2 (c 2 (q . 3))) (q . 6)) (q 2 (i (= (a 2 (c 2 (q . 4))) (q . 24)) (q 2 (i (= (a 2 (c 2 (q . 5))) (q . 120)) (q) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (q 8)) 1) (c (q 2 (i (> 3 (q . 1)) (q 18 3 (a 2 (c 2 (- 3 (q . 1))))) (q 1 . 1)) 1) ()))
debug_program: (a (q 2 (i (= (a 2 (c 2 (- () (q . 1)))) (q . 1)) (q 2 (i (= (a 2 (c 2 ())) (q . 1)) (q 2 (i (= (a 2 (c 2 (q . 1))) (q . 1)) (q 2 (i (= (a 2 (c 2 (q . 2))) (q . 2)) (q 2 (i (= (a 2 (c 2 (q . 3))) (q . 6)) (q 2 (i (= (a 2 (c 2 (q . 4))) (q . 24)) (q 2 (i (= (a 2 (c 2 (q . 5))) (q . 120)) (q) (q 8 (q . "assertion failed at factorial.rue:20:5"))) 1) (q 8 (q . "assertion failed at factorial.rue:19:5"))) 1) (q 8 (q . "assertion failed at factorial.rue:18:5"))) 1) (q 8 (q . "assertion failed at factorial.rue:17:5"))) 1) (q 8 (q . "assertion failed at factorial.rue:16:5"))) 1) (q 8 (q . "assertion failed at factorial.rue:15:5"))) 1) (q 8 (q . "assertion failed at factorial.rue:14:5"))) 1) (c (q 2 (i (> 3 (q . 1)) (q 18 3 (a 2 (c 2 (- 3 (q . 1))))) (q 1 . 1)) 1) ()))
output: ()
runtime_cost: 39041
byte_cost: 4368000
total_cost: 4407041