Repository navigation
Expand file tree
/
Copy pathbrainfck.yaml
More file actions
19 lines (19 loc) · 8.94 KB
/
Copy pathbrainfck.yaml
File metadata and controls
19 lines (19 loc) · 8.94 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
tests:
- name: abc
program: (a (q 5 (r (r (f (a 12 (c (c 8 (c 12 14)) (c (q (() () ()) () ()) (c (concat (a 10 (c 10 (q 43 . 65))) (q . ".+.+.")) ())))))))) (c (c (c (q 2 (i 7 (q 2 (q 16 (a (i (= 6 (q . 91)) (q 2 5 (c 5 (c (+ 11 (q . 1)) 4))) (q 2 (i (= 6 (q . 93)) (q 2 (i (= 11 (q . 1)) (q) (q 2 5 (c 5 (c (- 11 (q . 1)) 4)))) 1) (q 2 5 (c 5 (c 11 4)))) 1)) 1) (q . 1)) (c (c (substr 7 (q . 1)) (substr 7 () (q . 1))) 1)) (q)) 1) (q 2 (i 11 (q 2 10 (c 2 (a 30 1))) (q . 3)) 1)) (c (q 2 (i (> 7 ()) (q 14 5 (a 2 (c 2 (c 5 (- 7 (q . 1)))))) (q)) 1) (c (q 2 (i 17 (q 2 22 (c 2 (c (f (a 10 (c 2 (c 5 (c 7 ()))))) 7))) (q . 5)) 1) (q 2 (q 2 (i (= 6 (q . 43)) (q 4 (c (c (+ 35 (q . 1)) (c 83 (c -77 ()))) (c 43 (c 91 ()))) (c 4 ())) (q 2 (i (= 6 (q . 45)) (q 4 (c (c (- 35 (q . 1)) (c 83 (c -77 ()))) (c 43 (c 91 ()))) (c 4 ())) (q 2 (i (= 6 (q . 60)) (q 4 (a (i 83 (q 4 (c -109 (c -45 (c (c 35 -77) ()))) (c 43 (c 91 ()))) (q 4 (c () (c () (c (c 35 -77) ()))) (c 43 (c 91 ())))) 1) (c 4 ())) (q 2 (i (= 6 (q . 62)) (q 4 (a (i -77 (q 4 (c 307 (c (c 35 83) (c 435 ()))) (c 43 (c 91 ()))) (q 4 (c () (c (c 35 83) (q ()))) (c 43 (c 91 ())))) 1) (c 4 ())) (q 2 (i (= 6 (q . 44)) (q 4 (c (c (substr 43 () (q . 1)) (c 83 (c -77 ()))) (c (substr 43 (q . 1)) (c 91 ()))) (c 4 ())) (q 2 (i (= 6 (q . 46)) (q 4 (c 19 (c 43 (c (concat 91 35) ()))) (c 4 ())) (q 2 (i (= 6 (q . 91)) (q 2 (q 4 (a 91 (c 11 (c 23 (substr 9 () 2)))) (c (substr 9 2) ())) (c (a 9 (c 9 (c (q . 1) 4))) 1)) (q 4 11 (c 4 ()))) 1)) 1)) 1)) 1)) 1)) 1)) 1) (c (c (substr 11 (q . 1)) (substr 11 () (q . 1))) 1))))) ()))
debug_program: (a (q 2 (q 2 (q 2 (i ("debug_print" (q . "brainfck.rue:153:5") (concat (concat (concat (concat (concat (concat (q . "run(`") (concat (a 43 (c 43 (c (q . 43) (q . 65)))) (q . ".+.+."))) (q . "`, `")) ()) (q . "`) = `")) 2) (q . 96))) (q) (q . 2)) 1) (c (f (r (r (f (a 25 (c (c 17 (c 25 (c 45 61))) 2)))))) 1)) (c (c (c (c () (c () (c () ()))) (c () (c () ()))) (c (concat (a 10 (c 10 (c (q . 43) (q . 65)))) (q . ".+.+.")) ())) 1)) (c (c (c (q 2 (i (= 7 ()) (q) (q 2 (q 16 (q . 1) (a (i (= 6 (q . 91)) (q 2 5 (c 5 (c (+ 11 (q . 1)) 4))) (q 2 (i (= 6 (q . 93)) (q 2 (i (= 11 (q . 1)) (q) (q 2 5 (c 5 (c (- 11 (q . 1)) 4)))) 1) (q 2 5 (c 5 (c 11 4)))) 1)) 1)) (c (c (substr 7 (q . 1)) (substr 7 () (q . 1))) 1))) 1) (q 2 (i (= (f (r 3)) ()) (q . 3) (q 2 10 (c (c 4 (c 10 (c 22 30))) (a 30 (c (c 4 (c 10 (c 22 30))) 3))))) 1)) (c (q 2 (i (> 7 ()) (q 14 5 (a 2 (c 2 (c 5 (- 7 (q . 1)))))) (q)) 1) (c (q 2 (i (= (f (f 5)) ()) (q . 5) (q 2 22 (c (c 4 (c 10 (c 22 30))) (c (f (a 10 (c (c 4 (c 10 (c 22 30))) (c 5 (c 7 ()))))) 7)))) 1) (q 2 (q 2 (i (= 6 (q . 43)) (q 4 (c (c (+ (f (f (f 7))) (q . 1)) (c (f (r (f (f 7)))) (c (f (r (r (f (f 7))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ()))) (c 4 ())) (q 2 (i (= 6 (q . 45)) (q 4 (c (c (- (f (f (f 7))) (q . 1)) (c (f (r (f (f 7)))) (c (f (r (r (f (f 7))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ()))) (c 4 ())) (q 2 (i (= 6 (q . 60)) (q 4 (a (i (not (l (f (r (f (f 7)))))) (q 4 (c () (c () (c (c (f (f (f 7))) (f (r (r (f (f 7)))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ()))) (q 4 (c (f (f (r (f (f 7))))) (c (r (f (r (f (f 7))))) (c (c (f (f (f 7))) (f (r (r (f (f 7)))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ())))) 1) (c 4 ())) (q 2 (i (= 6 (q . 62)) (q 4 (a (i (not (l (f (r (r (f (f 7))))))) (q 4 (c () (c (c (f (f (f 7))) (f (r (f (f 7))))) (c () ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ()))) (q 4 (c (f (f (r (r (f (f 7)))))) (c (c (f (f (f 7))) (f (r (f (f 7))))) (c (r (f (r (r (f (f 7)))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ())))) 1) (c 4 ())) (q 2 (i (= 6 (q . 44)) (q 4 (c (c (substr (f (r (f 7))) () (q . 1)) (c (f (r (f (f 7)))) (c (f (r (r (f (f 7))))) ()))) (c (substr (f (r (f 7))) (q . 1)) (c (f (r (r (f 7)))) ()))) (c 4 ())) (q 2 (i (= 6 (q . 46)) (q 4 (c (f (f 7)) (c (f (r (f 7))) (c (concat (f (r (r (f 7)))) (f (f (f 7)))) ()))) (c 4 ())) (q 2 (i (= 6 (q . 91)) (q 2 (q 2 (q 4 (a -73 (c (c 39 (c 87 (c -73 -9))) (c (f 31) 4))) (c 6 ())) (c (c (substr 9 () 2) (substr 9 2)) 1)) (c (a 9 (c 9 (c (q . 1) 4))) 1)) (q 4 (f 7) (c 4 ()))) 1)) 1)) 1)) 1)) 1)) 1)) 1) (c (c (substr (f (r 3)) (q . 1)) (substr (f (r 3)) () (q . 1))) 1))))) ()))
output: '"ABC"'
runtime_cost: 423451
byte_cost: 15288000
total_cost: 15711451
print_messages:
- '"run(`+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.+.+.`, ``) = `ABC`"'
- name: alphabet
program: (a (q 5 (r (r (f (a 10 (c (c 8 6) (c (q (() () ()) () ()) (c (concat (q . 62) (a 12 (c 12 (q 43 . 65))) (q . 60) (a 12 (c 12 (q 43 . 26))) (q . "[->.+<]")) ())))))))) (c (c (c (q 2 (i 7 (q 2 (q 16 (a (i (= 6 (q . 91)) (q 2 5 (c 5 (c (+ 11 (q . 1)) 4))) (q 2 (i (= 6 (q . 93)) (q 2 (i (= 11 (q . 1)) (q) (q 2 5 (c 5 (c (- 11 (q . 1)) 4)))) 1) (q 2 5 (c 5 (c 11 4)))) 1)) 1) (q . 1)) (c (c (substr 7 (q . 1)) (substr 7 () (q . 1))) 1)) (q)) 1) (q 2 (i (> 7 ()) (q 14 5 (a 2 (c 2 (c 5 (- 7 (q . 1)))))) (q)) 1)) (c (q 2 (i 11 (q 2 10 (c 2 (a 30 1))) (q . 3)) 1) (c (q 2 (i 17 (q 2 22 (c 2 (c (f (a 10 (c 2 (c 5 (c 7 ()))))) 7))) (q . 5)) 1) (q 2 (q 2 (i (= 6 (q . 43)) (q 4 (c (c (+ 35 (q . 1)) (c 83 (c -77 ()))) (c 43 (c 91 ()))) (c 4 ())) (q 2 (i (= 6 (q . 45)) (q 4 (c (c (- 35 (q . 1)) (c 83 (c -77 ()))) (c 43 (c 91 ()))) (c 4 ())) (q 2 (i (= 6 (q . 60)) (q 4 (a (i 83 (q 4 (c -109 (c -45 (c (c 35 -77) ()))) (c 43 (c 91 ()))) (q 4 (c () (c () (c (c 35 -77) ()))) (c 43 (c 91 ())))) 1) (c 4 ())) (q 2 (i (= 6 (q . 62)) (q 4 (a (i -77 (q 4 (c 307 (c (c 35 83) (c 435 ()))) (c 43 (c 91 ()))) (q 4 (c () (c (c 35 83) (q ()))) (c 43 (c 91 ())))) 1) (c 4 ())) (q 2 (i (= 6 (q . 44)) (q 4 (c (c (substr 43 () (q . 1)) (c 83 (c -77 ()))) (c (substr 43 (q . 1)) (c 91 ()))) (c 4 ())) (q 2 (i (= 6 (q . 46)) (q 4 (c 19 (c 43 (c (concat 91 35) ()))) (c 4 ())) (q 2 (i (= 6 (q . 91)) (q 2 (q 4 (a 91 (c 11 (c 23 (substr 9 () 2)))) (c (substr 9 2) ())) (c (a 9 (c 9 (c (q . 1) 4))) 1)) (q 4 11 (c 4 ()))) 1)) 1)) 1)) 1)) 1)) 1)) 1) (c (c (substr 11 (q . 1)) (substr 11 () (q . 1))) 1))))) ()))
debug_program: (a (q 2 (q 2 (q 2 (i ("debug_print" (q . "brainfck.rue:153:5") (concat (concat (concat (concat (concat (concat (q . "run(`") (concat (concat (concat (concat (q . 62) (a 51 (c 51 (c (q . 43) (q . 65))))) (q . 60)) (a 51 (c 51 (c (q . 43) (q . 26))))) (q . "[->.+<]"))) (q . "`, `")) ()) (q . "`) = `")) 2) (q . 96))) (q) (q . 2)) 1) (c (f (r (r (f (a 21 (c (c 17 (c 21 (c 45 61))) 2)))))) 1)) (c (c (c (c () (c () (c () ()))) (c () (c () ()))) (c (concat (concat (concat (concat (q . 62) (a 12 (c 12 (c (q . 43) (q . 65))))) (q . 60)) (a 12 (c 12 (c (q . 43) (q . 26))))) (q . "[->.+<]")) ())) 1)) (c (c (c (q 2 (i (= 7 ()) (q) (q 2 (q 16 (q . 1) (a (i (= 6 (q . 91)) (q 2 5 (c 5 (c (+ 11 (q . 1)) 4))) (q 2 (i (= 6 (q . 93)) (q 2 (i (= 11 (q . 1)) (q) (q 2 5 (c 5 (c (- 11 (q . 1)) 4)))) 1) (q 2 5 (c 5 (c 11 4)))) 1)) 1)) (c (c (substr 7 (q . 1)) (substr 7 () (q . 1))) 1))) 1) (q 2 (i (> 7 ()) (q 14 5 (a 2 (c 2 (c 5 (- 7 (q . 1)))))) (q)) 1)) (c (q 2 (i (= (f (r 3)) ()) (q . 3) (q 2 10 (c (c 4 (c 10 (c 22 30))) (a 30 (c (c 4 (c 10 (c 22 30))) 3))))) 1) (c (q 2 (i (= (f (f 5)) ()) (q . 5) (q 2 22 (c (c 4 (c 10 (c 22 30))) (c (f (a 10 (c (c 4 (c 10 (c 22 30))) (c 5 (c 7 ()))))) 7)))) 1) (q 2 (q 2 (i (= 6 (q . 43)) (q 4 (c (c (+ (f (f (f 7))) (q . 1)) (c (f (r (f (f 7)))) (c (f (r (r (f (f 7))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ()))) (c 4 ())) (q 2 (i (= 6 (q . 45)) (q 4 (c (c (- (f (f (f 7))) (q . 1)) (c (f (r (f (f 7)))) (c (f (r (r (f (f 7))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ()))) (c 4 ())) (q 2 (i (= 6 (q . 60)) (q 4 (a (i (not (l (f (r (f (f 7)))))) (q 4 (c () (c () (c (c (f (f (f 7))) (f (r (r (f (f 7)))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ()))) (q 4 (c (f (f (r (f (f 7))))) (c (r (f (r (f (f 7))))) (c (c (f (f (f 7))) (f (r (r (f (f 7)))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ())))) 1) (c 4 ())) (q 2 (i (= 6 (q . 62)) (q 4 (a (i (not (l (f (r (r (f (f 7))))))) (q 4 (c () (c (c (f (f (f 7))) (f (r (f (f 7))))) (c () ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ()))) (q 4 (c (f (f (r (r (f (f 7)))))) (c (c (f (f (f 7))) (f (r (f (f 7))))) (c (r (f (r (r (f (f 7)))))) ()))) (c (f (r (f 7))) (c (f (r (r (f 7)))) ())))) 1) (c 4 ())) (q 2 (i (= 6 (q . 44)) (q 4 (c (c (substr (f (r (f 7))) () (q . 1)) (c (f (r (f (f 7)))) (c (f (r (r (f (f 7))))) ()))) (c (substr (f (r (f 7))) (q . 1)) (c (f (r (r (f 7)))) ()))) (c 4 ())) (q 2 (i (= 6 (q . 46)) (q 4 (c (f (f 7)) (c (f (r (f 7))) (c (concat (f (r (r (f 7)))) (f (f (f 7)))) ()))) (c 4 ())) (q 2 (i (= 6 (q . 91)) (q 2 (q 2 (q 4 (a -73 (c (c 39 (c 87 (c -73 -9))) (c (f 31) 4))) (c 6 ())) (c (c (substr 9 () 2) (substr 9 2)) 1)) (c (a 9 (c 9 (c (q . 1) 4))) 1)) (q 4 (f 7) (c 4 ()))) 1)) 1)) 1)) 1)) 1)) 1)) 1) (c (c (substr (f (r 3)) (q . 1)) (substr (f (r 3)) () (q . 1))) 1))))) ()))
output: '"ABCDEFGHIJKLMNOPQRSTUVWXYZ"'
runtime_cost: 1243355
byte_cost: 15552000
total_cost: 16795355
print_messages:
- '"run(`>+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++<++++++++++++++++++++++++++[->.+<]`, ``) = `ABCDEFGHIJKLMNOPQRSTUVWXYZ`"'