diff --git a/tests/brun/add-1.txt b/tests/brun/add-1.txt index 5829585b..60bc740d 100644 --- a/tests/brun/add-1.txt +++ b/tests/brun/add-1.txt @@ -1,3 +1,3 @@ brun -c '(+ (q . 7) (q . 1))' -cost = 805 +cost = 796 8 diff --git a/tests/brun/add-2.txt b/tests/brun/add-2.txt index 753eb132..6bd6e777 100644 --- a/tests/brun/add-2.txt +++ b/tests/brun/add-2.txt @@ -1,3 +1,3 @@ brun -c '(+ (q . 1))' -cost = 462 +cost = 453 1 diff --git a/tests/brun/add-3.txt b/tests/brun/add-3.txt index 69a3cd38..c9b83c1b 100644 --- a/tests/brun/add-3.txt +++ b/tests/brun/add-3.txt @@ -1,3 +1,3 @@ brun -c '(+ ())' -cost = 473 +cost = 464 () diff --git a/tests/brun/add-4.txt b/tests/brun/add-4.txt index ef815696..1a4a0ae6 100644 --- a/tests/brun/add-4.txt +++ b/tests/brun/add-4.txt @@ -1,3 +1,3 @@ brun -c '(+)' -cost = 109 +cost = 100 () diff --git a/tests/brun/add-5.txt b/tests/brun/add-5.txt index 8294dde8..bb07691b 100644 --- a/tests/brun/add-5.txt +++ b/tests/brun/add-5.txt @@ -1,3 +1,3 @@ brun -c '(+ (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000000000007) (q . 0x000000000000000000000000000000000000000000000000000000000000000000000001))' -cost = 1030 +cost = 1021 8 diff --git a/tests/brun/all-1.txt b/tests/brun/all-1.txt index ae9012b9..47433911 100644 --- a/tests/brun/all-1.txt +++ b/tests/brun/all-1.txt @@ -1,3 +1,3 @@ brun -c '(all (q . 1))' -cost = 530 +cost = 521 1 diff --git a/tests/brun/all-2.txt b/tests/brun/all-2.txt index dfb49354..12bab578 100644 --- a/tests/brun/all-2.txt +++ b/tests/brun/all-2.txt @@ -1,3 +1,3 @@ brun -c '(all (q . 1) (q . (foo)))' -cost = 850 +cost = 841 1 diff --git a/tests/brun/all-3.txt b/tests/brun/all-3.txt index 6802ddf8..5df9c7a3 100644 --- a/tests/brun/all-3.txt +++ b/tests/brun/all-3.txt @@ -1,3 +1,3 @@ brun -c '(all (q . 1) (q . 1) (q . 0))' -cost = 1170 +cost = 1161 () diff --git a/tests/brun/any-1.txt b/tests/brun/any-1.txt index 195dbe8b..4a4310d0 100644 --- a/tests/brun/any-1.txt +++ b/tests/brun/any-1.txt @@ -1,3 +1,3 @@ brun -c '(any (q . 1))' -cost = 530 +cost = 521 1 diff --git a/tests/brun/any-2.txt b/tests/brun/any-2.txt index 5ae4a85f..f8aecdbf 100644 --- a/tests/brun/any-2.txt +++ b/tests/brun/any-2.txt @@ -1,3 +1,3 @@ brun -c '(any (q . 0) (q . (foo)))' -cost = 850 +cost = 841 1 diff --git a/tests/brun/any-3.txt b/tests/brun/any-3.txt index 80b4c4a0..fb44f3fb 100644 --- a/tests/brun/any-3.txt +++ b/tests/brun/any-3.txt @@ -1,3 +1,3 @@ brun -c '(any (q . 0) (q . 0))' -cost = 850 +cost = 841 () diff --git a/tests/brun/apply-00.txt b/tests/brun/apply-00.txt index 67ec10ca..d15c7bed 100644 --- a/tests/brun/apply-00.txt +++ b/tests/brun/apply-00.txt @@ -1,3 +1,3 @@ brun -c '(a (q . 2) (q . (3 4 5)))' -cost = 188 +cost = 179 3 diff --git a/tests/brun/apply-01.txt b/tests/brun/apply-01.txt index ced814ef..0b66afc2 100644 --- a/tests/brun/apply-01.txt +++ b/tests/brun/apply-01.txt @@ -1,3 +1,3 @@ brun -c '(a (q . 5) (q . (3 4 5)))' -cost = 192 +cost = 183 4 diff --git a/tests/brun/apply-02.txt b/tests/brun/apply-02.txt index 4579d1d7..b62149fb 100644 --- a/tests/brun/apply-02.txt +++ b/tests/brun/apply-02.txt @@ -1,3 +1,3 @@ brun -c '(a (q . 11) 1)' '(5 6 7 8 9)' -cost = 220 +cost = 211 7 diff --git a/tests/brun/apply-06.txt b/tests/brun/apply-06.txt index c5fb0b33..1ce59982 100644 --- a/tests/brun/apply-06.txt +++ b/tests/brun/apply-06.txt @@ -1,3 +1,3 @@ brun -c '(a (q . (+ 2 5)) (q . (20 30)))' -cost = 996 +cost = 987 50 diff --git a/tests/brun/apply-07.txt b/tests/brun/apply-07.txt index 90181e7d..5c800b8c 100644 --- a/tests/brun/apply-07.txt +++ b/tests/brun/apply-07.txt @@ -1,3 +1,3 @@ brun --strict -c -n '(a (q . q) (q . (2 3 4)))' -cost = 184 +cost = 175 (2 3 4) diff --git a/tests/brun/args-00.txt b/tests/brun/args-00.txt index a9d2699f..c9be0762 100644 --- a/tests/brun/args-00.txt +++ b/tests/brun/args-00.txt @@ -1,3 +1,3 @@ brun -n -c 0 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 53 +cost = 44 () diff --git a/tests/brun/args-01.txt b/tests/brun/args-01.txt index 6b675b71..cb4f74f6 100644 --- a/tests/brun/args-01.txt +++ b/tests/brun/args-01.txt @@ -1,3 +1,3 @@ brun -n -c 1 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 53 +cost = 44 (((8 . 12) 10 . 14) (9 . 13) 11 . 15) diff --git a/tests/brun/args-02.txt b/tests/brun/args-02.txt index 0ba3bb9a..c97370b4 100644 --- a/tests/brun/args-02.txt +++ b/tests/brun/args-02.txt @@ -1,3 +1,3 @@ brun -n -c 2 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 57 +cost = 48 ((8 . 12) 10 . 14) diff --git a/tests/brun/args-03.txt b/tests/brun/args-03.txt index 6383a632..81d48599 100644 --- a/tests/brun/args-03.txt +++ b/tests/brun/args-03.txt @@ -1,3 +1,3 @@ brun -n -c 3 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 57 +cost = 48 ((9 . 13) 11 . 15) diff --git a/tests/brun/args-04.txt b/tests/brun/args-04.txt index 04c83422..7c49e00b 100644 --- a/tests/brun/args-04.txt +++ b/tests/brun/args-04.txt @@ -1,3 +1,3 @@ brun -n -c 4 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 61 +cost = 52 (8 . 12) diff --git a/tests/brun/args-05.txt b/tests/brun/args-05.txt index 905d05c7..11ac1ccd 100644 --- a/tests/brun/args-05.txt +++ b/tests/brun/args-05.txt @@ -1,3 +1,3 @@ brun -n -c 5 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 61 +cost = 52 (9 . 13) diff --git a/tests/brun/args-06.txt b/tests/brun/args-06.txt index 3ba4860f..2c476835 100644 --- a/tests/brun/args-06.txt +++ b/tests/brun/args-06.txt @@ -1,3 +1,3 @@ brun -n -c 6 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 61 +cost = 52 (10 . 14) diff --git a/tests/brun/args-07.txt b/tests/brun/args-07.txt index 1c94c982..1b7daa28 100644 --- a/tests/brun/args-07.txt +++ b/tests/brun/args-07.txt @@ -1,3 +1,3 @@ brun -n -c 7 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 61 +cost = 52 (11 . 15) diff --git a/tests/brun/args-08.txt b/tests/brun/args-08.txt index 45b6e04c..8401bfa4 100644 --- a/tests/brun/args-08.txt +++ b/tests/brun/args-08.txt @@ -1,3 +1,3 @@ brun -n -c 8 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 65 +cost = 56 8 diff --git a/tests/brun/args-09.txt b/tests/brun/args-09.txt index 66f9d6b8..055ac2a5 100644 --- a/tests/brun/args-09.txt +++ b/tests/brun/args-09.txt @@ -1,3 +1,3 @@ brun -n -c 9 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 65 +cost = 56 9 diff --git a/tests/brun/args-10.txt b/tests/brun/args-10.txt index 9060f1af..b9f32108 100644 --- a/tests/brun/args-10.txt +++ b/tests/brun/args-10.txt @@ -1,3 +1,3 @@ brun -n -c 10 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 65 +cost = 56 10 diff --git a/tests/brun/args-11.txt b/tests/brun/args-11.txt index 96f47856..5bf67b1d 100644 --- a/tests/brun/args-11.txt +++ b/tests/brun/args-11.txt @@ -1,3 +1,3 @@ brun -n -c 11 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 65 +cost = 56 11 diff --git a/tests/brun/args-12.txt b/tests/brun/args-12.txt index 3ee5d555..c2627e2c 100644 --- a/tests/brun/args-12.txt +++ b/tests/brun/args-12.txt @@ -1,3 +1,3 @@ brun -n -c 12 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 65 +cost = 56 12 diff --git a/tests/brun/args-13.txt b/tests/brun/args-13.txt index 720a3570..43a3b040 100644 --- a/tests/brun/args-13.txt +++ b/tests/brun/args-13.txt @@ -1,3 +1,3 @@ brun -n -c 13 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 65 +cost = 56 13 diff --git a/tests/brun/args-14.txt b/tests/brun/args-14.txt index cb458310..31792e52 100644 --- a/tests/brun/args-14.txt +++ b/tests/brun/args-14.txt @@ -1,3 +1,3 @@ brun -n -c 14 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 65 +cost = 56 14 diff --git a/tests/brun/args-15.txt b/tests/brun/args-15.txt index 37e14b4d..cbab5393 100644 --- a/tests/brun/args-15.txt +++ b/tests/brun/args-15.txt @@ -1,3 +1,3 @@ brun -n -c 15 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))' -cost = 65 +cost = 56 15 diff --git a/tests/brun/ash-1.txt b/tests/brun/ash-1.txt index 9c216974..4fb0b734 100644 --- a/tests/brun/ash-1.txt +++ b/tests/brun/ash-1.txt @@ -1,3 +1,3 @@ brun -c '(ash (q . 7) (q . 1))' -cost = 662 +cost = 653 14 diff --git a/tests/brun/ash-2.txt b/tests/brun/ash-2.txt index faa8c1f1..bf1e48c5 100644 --- a/tests/brun/ash-2.txt +++ b/tests/brun/ash-2.txt @@ -1,3 +1,3 @@ brun -c '(ash (q . 7) (q . 100))' -cost = 818 +cost = 809 0x70000000000000000000000000 diff --git a/tests/brun/ash-3.txt b/tests/brun/ash-3.txt index db4b589e..749624b0 100644 --- a/tests/brun/ash-3.txt +++ b/tests/brun/ash-3.txt @@ -1,3 +1,3 @@ brun -c '(ash (q . -7) (q . 100))' -cost = 818 +cost = 809 0x90000000000000000000000000 diff --git a/tests/brun/ash-4.txt b/tests/brun/ash-4.txt index bad0d109..2059eeab 100644 --- a/tests/brun/ash-4.txt +++ b/tests/brun/ash-4.txt @@ -1,3 +1,3 @@ brun -c '(ash (q . 0x90000000000000000000000000) (q . -100))' -cost = 698 +cost = 689 -7 diff --git a/tests/brun/ash-8.txt b/tests/brun/ash-8.txt index 56645184..39062d5e 100644 --- a/tests/brun/ash-8.txt +++ b/tests/brun/ash-8.txt @@ -1,3 +1,3 @@ brun -c '(ash (q . 500) (q . 65535))' -cost = 107171 +cost = 107162 0x00fa0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 diff --git a/tests/brun/ash-9.txt b/tests/brun/ash-9.txt index 7d915654..2c916649 100644 --- a/tests/brun/ash-9.txt +++ b/tests/brun/ash-9.txt @@ -1,3 +1,3 @@ brun -c '(ash (q . 500) (q . -65535))' -cost = 652 +cost = 643 () diff --git a/tests/brun/concat-1.txt b/tests/brun/concat-1.txt index 56108b41..a710c1b3 100644 --- a/tests/brun/concat-1.txt +++ b/tests/brun/concat-1.txt @@ -1,3 +1,3 @@ brun -c '(concat)' -cost = 152 +cost = 143 () diff --git a/tests/brun/concat-2.txt b/tests/brun/concat-2.txt index 81ce6d88..859d33af 100644 --- a/tests/brun/concat-2.txt +++ b/tests/brun/concat-2.txt @@ -1,3 +1,3 @@ brun -c '(concat (q . foo))' -cost = 346 +cost = 337 "foo" diff --git a/tests/brun/concat-3.txt b/tests/brun/concat-3.txt index fee625bc..c491a9f4 100644 --- a/tests/brun/concat-3.txt +++ b/tests/brun/concat-3.txt @@ -1,3 +1,3 @@ brun -c '(concat (q . foo) (q . bar))' -cost = 540 +cost = 531 "foobar" diff --git a/tests/brun/cons-2.txt b/tests/brun/cons-2.txt index 5e85000d..d1cf4f09 100644 --- a/tests/brun/cons-2.txt +++ b/tests/brun/cons-2.txt @@ -1,3 +1,3 @@ brun -c '(c (q . 100) (q . ()))' -cost = 100 +cost = 91 (100) diff --git a/tests/brun/cons-3.txt b/tests/brun/cons-3.txt index e1eedd20..00a713f1 100644 --- a/tests/brun/cons-3.txt +++ b/tests/brun/cons-3.txt @@ -1,3 +1,3 @@ brun -c '(c (q . 100) (q . (200 300 400)))' -cost = 100 +cost = 91 (100 200 300 400) diff --git a/tests/brun/cons-4.txt b/tests/brun/cons-4.txt index db1bdce8..8a21b4d0 100644 --- a/tests/brun/cons-4.txt +++ b/tests/brun/cons-4.txt @@ -1,3 +1,3 @@ brun -c '(c (q . 100) (q . ((500 (200 300 400)))))' -cost = 100 +cost = 91 (100 (500 (200 300 400))) diff --git a/tests/brun/div-1.txt b/tests/brun/div-1.txt index 3114fef2..28808f72 100644 --- a/tests/brun/div-1.txt +++ b/tests/brun/div-1.txt @@ -1,3 +1,3 @@ brun -c '(/ 2 5)' '(80001 73)' -cost = 1134 +cost = 1125 1095 diff --git a/tests/brun/div-2.txt b/tests/brun/div-2.txt index 44b36171..995d4353 100644 --- a/tests/brun/div-2.txt +++ b/tests/brun/div-2.txt @@ -1,3 +1,3 @@ brun -c '(/ 2 5)' '(-80001 73)' -cost = 1134 +cost = 1125 -1096 diff --git a/tests/brun/div-3.txt b/tests/brun/div-3.txt index 76b1879e..40d589e5 100644 --- a/tests/brun/div-3.txt +++ b/tests/brun/div-3.txt @@ -1,3 +1,3 @@ brun -c '(/ 2 5)' '(80001 -73)' -cost = 1134 +cost = 1125 -1096 diff --git a/tests/brun/div-5.txt b/tests/brun/div-5.txt index ed95165d..f267c891 100644 --- a/tests/brun/div-5.txt +++ b/tests/brun/div-5.txt @@ -1,3 +1,3 @@ brun -c '(/ (q . 0x00000000000000000000000000000000000000000000000000000000a) (q . 0x000000000000000000000000000000000000000000000000000000000000000000000005))' -cost = 1308 +cost = 1299 2 diff --git a/tests/brun/div-6.txt b/tests/brun/div-6.txt index efce4b9e..706faa63 100644 --- a/tests/brun/div-6.txt +++ b/tests/brun/div-6.txt @@ -1,3 +1,3 @@ brun -c '(/ (q . 3) (q . 10))' -cost = 1046 +cost = 1037 () diff --git a/tests/brun/div-7.txt b/tests/brun/div-7.txt index 9249e03d..94ec1d04 100644 --- a/tests/brun/div-7.txt +++ b/tests/brun/div-7.txt @@ -1,3 +1,3 @@ brun -c '(/ (q . -3) (q . 10))' -cost = 1046 +cost = 1037 () diff --git a/tests/brun/div-8.txt b/tests/brun/div-8.txt index 9eb6cef4..c6d9d23f 100644 --- a/tests/brun/div-8.txt +++ b/tests/brun/div-8.txt @@ -1,3 +1,3 @@ brun -c '(/ (q . 3) (q . -10))' -cost = 1046 +cost = 1037 () diff --git a/tests/brun/div-9.txt b/tests/brun/div-9.txt index dc9b13c2..fe3b0b88 100644 --- a/tests/brun/div-9.txt +++ b/tests/brun/div-9.txt @@ -1,3 +1,3 @@ brun -c '(/ (q . -3) (q . -10))' -cost = 1046 +cost = 1037 () diff --git a/tests/brun/divmod-1.txt b/tests/brun/divmod-1.txt index f744be0c..eff9228b 100644 --- a/tests/brun/divmod-1.txt +++ b/tests/brun/divmod-1.txt @@ -1,3 +1,3 @@ brun -c '(divmod 2 5)' '(80001 73)' -cost = 1280 +cost = 1271 (1095 . 66) diff --git a/tests/brun/divmod-10.txt b/tests/brun/divmod-10.txt index 37807a1c..1dbab4ef 100644 --- a/tests/brun/divmod-10.txt +++ b/tests/brun/divmod-10.txt @@ -1,3 +1,3 @@ brun -c '(divmod 2 5)' '(80000 -10)' -cost = 1270 +cost = 1261 (-8000) diff --git a/tests/brun/divmod-11.txt b/tests/brun/divmod-11.txt index bb55dc85..0c65da99 100644 --- a/tests/brun/divmod-11.txt +++ b/tests/brun/divmod-11.txt @@ -1,3 +1,3 @@ brun -c '(divmod (q . 0x0000000000000000000000000000000000000000000000000000000000000013881) (q . 0x0000000000000000000000000000000000000000000000000000049))' -cost = 1568 +cost = 1559 (1095 . 66) diff --git a/tests/brun/divmod-12.txt b/tests/brun/divmod-12.txt index 46eeb0cf..d9fa98d5 100644 --- a/tests/brun/divmod-12.txt +++ b/tests/brun/divmod-12.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . -10) (q . -7))' -cost = 1198 +cost = 1189 (1 . -3) diff --git a/tests/brun/divmod-13.txt b/tests/brun/divmod-13.txt index e91d1233..1f6aff03 100644 --- a/tests/brun/divmod-13.txt +++ b/tests/brun/divmod-13.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . -10) (q . 7))' -cost = 1198 +cost = 1189 (-2 . 4) diff --git a/tests/brun/divmod-14.txt b/tests/brun/divmod-14.txt index de624763..8d3ca5c7 100644 --- a/tests/brun/divmod-14.txt +++ b/tests/brun/divmod-14.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . 10) (q . -7))' -cost = 1198 +cost = 1189 (-2 . -4) diff --git a/tests/brun/divmod-15.txt b/tests/brun/divmod-15.txt index 02012764..151c3af6 100644 --- a/tests/brun/divmod-15.txt +++ b/tests/brun/divmod-15.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . 10) (q . 7))' -cost = 1198 +cost = 1189 (1 . 3) diff --git a/tests/brun/divmod-16.txt b/tests/brun/divmod-16.txt index 21511d54..7d67a929 100644 --- a/tests/brun/divmod-16.txt +++ b/tests/brun/divmod-16.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . -10) (q . -70))' -cost = 1188 +cost = 1179 (() . -10) diff --git a/tests/brun/divmod-17.txt b/tests/brun/divmod-17.txt index 3625dfeb..ad8fa571 100644 --- a/tests/brun/divmod-17.txt +++ b/tests/brun/divmod-17.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . -10) (q . 70))' -cost = 1198 +cost = 1189 (-1 . 60) diff --git a/tests/brun/divmod-18.txt b/tests/brun/divmod-18.txt index 8a70b086..c7cadd7b 100644 --- a/tests/brun/divmod-18.txt +++ b/tests/brun/divmod-18.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . 10) (q . -70))' -cost = 1198 +cost = 1189 (-1 . -60) diff --git a/tests/brun/divmod-19.txt b/tests/brun/divmod-19.txt index a3031187..e12db34e 100644 --- a/tests/brun/divmod-19.txt +++ b/tests/brun/divmod-19.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . 10) (q . 70))' -cost = 1188 +cost = 1179 (() . 10) diff --git a/tests/brun/divmod-2.txt b/tests/brun/divmod-2.txt index f35a13a5..2701df60 100644 --- a/tests/brun/divmod-2.txt +++ b/tests/brun/divmod-2.txt @@ -1,3 +1,3 @@ brun -c '(divmod 2 5)' '(-80001 73)' -cost = 1280 +cost = 1271 (-1096 . 7) diff --git a/tests/brun/divmod-20.txt b/tests/brun/divmod-20.txt index d9096a55..42f6aaf9 100644 --- a/tests/brun/divmod-20.txt +++ b/tests/brun/divmod-20.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . -100) (q . -7))' -cost = 1198 +cost = 1189 (14 . -2) diff --git a/tests/brun/divmod-21.txt b/tests/brun/divmod-21.txt index 2c2dc18a..41da6ce8 100644 --- a/tests/brun/divmod-21.txt +++ b/tests/brun/divmod-21.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . -100) (q . 7))' -cost = 1198 +cost = 1189 (-15 . 5) diff --git a/tests/brun/divmod-22.txt b/tests/brun/divmod-22.txt index 07d4c31c..aa1ab548 100644 --- a/tests/brun/divmod-22.txt +++ b/tests/brun/divmod-22.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . 100) (q . -7))' -cost = 1198 +cost = 1189 (-15 . -5) diff --git a/tests/brun/divmod-23.txt b/tests/brun/divmod-23.txt index 9de559c0..30bd94b5 100644 --- a/tests/brun/divmod-23.txt +++ b/tests/brun/divmod-23.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . 100) (q . 7))' -cost = 1198 +cost = 1189 (14 . 2) diff --git a/tests/brun/divmod-24.txt b/tests/brun/divmod-24.txt index 496af171..19423d31 100644 --- a/tests/brun/divmod-24.txt +++ b/tests/brun/divmod-24.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . -100) (q . -70))' -cost = 1198 +cost = 1189 (1 . -30) diff --git a/tests/brun/divmod-25.txt b/tests/brun/divmod-25.txt index 43496b13..e4080d06 100644 --- a/tests/brun/divmod-25.txt +++ b/tests/brun/divmod-25.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . -100) (q . 70))' -cost = 1198 +cost = 1189 (-2 . 40) diff --git a/tests/brun/divmod-26.txt b/tests/brun/divmod-26.txt index 48612cfe..0880a7e3 100644 --- a/tests/brun/divmod-26.txt +++ b/tests/brun/divmod-26.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . 100) (q . -70))' -cost = 1198 +cost = 1189 (-2 . -40) diff --git a/tests/brun/divmod-27.txt b/tests/brun/divmod-27.txt index a3687efa..75835477 100644 --- a/tests/brun/divmod-27.txt +++ b/tests/brun/divmod-27.txt @@ -1,3 +1,3 @@ brun -n -c '(divmod (q . 100) (q . 70))' -cost = 1198 +cost = 1189 (1 . 30) diff --git a/tests/brun/divmod-3.txt b/tests/brun/divmod-3.txt index f677023c..e00208f8 100644 --- a/tests/brun/divmod-3.txt +++ b/tests/brun/divmod-3.txt @@ -1,3 +1,3 @@ brun -c '(divmod 2 5)' '(80001 -73)' -cost = 1280 +cost = 1271 (-1096 . -7) diff --git a/tests/brun/divmod-4.txt b/tests/brun/divmod-4.txt index 2114940c..0d481000 100644 --- a/tests/brun/divmod-4.txt +++ b/tests/brun/divmod-4.txt @@ -1,3 +1,3 @@ brun -c '(divmod 2 5)' '(-80001 -73)' -cost = 1280 +cost = 1271 (1095 . -66) diff --git a/tests/brun/divmod-8.txt b/tests/brun/divmod-8.txt index f58667c4..78151e42 100644 --- a/tests/brun/divmod-8.txt +++ b/tests/brun/divmod-8.txt @@ -1,3 +1,3 @@ brun -c '(divmod 2 5)' '(80000 10)' -cost = 1270 +cost = 1261 (8000) diff --git a/tests/brun/divmod-9.txt b/tests/brun/divmod-9.txt index 3d4a182e..def6811f 100644 --- a/tests/brun/divmod-9.txt +++ b/tests/brun/divmod-9.txt @@ -1,3 +1,3 @@ brun -c '(divmod 2 5)' '(-80000 10)' -cost = 1270 +cost = 1261 (-8000) diff --git a/tests/brun/double-cons-1.txt b/tests/brun/double-cons-1.txt index 11a27f0b..548467ae 100644 --- a/tests/brun/double-cons-1.txt +++ b/tests/brun/double-cons-1.txt @@ -1,3 +1,3 @@ brun -c '((+) 1 2 3 4)' -cost = 1500 +cost = 1491 10 diff --git a/tests/brun/double-cons-2.txt b/tests/brun/double-cons-2.txt index 23eceaae..30d37b4d 100644 --- a/tests/brun/double-cons-2.txt +++ b/tests/brun/double-cons-2.txt @@ -1,3 +1,3 @@ brun -c '((*) 1 2 3 4)' -cost = 2892 +cost = 2883 24 diff --git a/tests/brun/env-1.txt b/tests/brun/env-1.txt index 25252d59..413260cf 100644 --- a/tests/brun/env-1.txt +++ b/tests/brun/env-1.txt @@ -1,3 +1,3 @@ brun -c '1' '(100)' -cost = 53 +cost = 44 (100) diff --git a/tests/brun/env-2.txt b/tests/brun/env-2.txt index 75b547e3..ad93b8fd 100644 --- a/tests/brun/env-2.txt +++ b/tests/brun/env-2.txt @@ -1,3 +1,3 @@ brun -c '1' '(990)' -cost = 53 +cost = 44 (990) diff --git a/tests/brun/env-3.txt b/tests/brun/env-3.txt index aa6deace..9dfc7739 100644 --- a/tests/brun/env-3.txt +++ b/tests/brun/env-3.txt @@ -1,3 +1,3 @@ brun -c '1' -cost = 53 +cost = 44 () diff --git a/tests/brun/env-4.txt b/tests/brun/env-4.txt index 916c3a75..69dcca55 100644 --- a/tests/brun/env-4.txt +++ b/tests/brun/env-4.txt @@ -1,3 +1,3 @@ brun -c '1' '(100 200)' -cost = 53 +cost = 44 (100 200) diff --git a/tests/brun/env-5.txt b/tests/brun/env-5.txt index 74f39440..a70e696c 100644 --- a/tests/brun/env-5.txt +++ b/tests/brun/env-5.txt @@ -1,3 +1,3 @@ brun -c '1' '((100 101 102) 105)' -cost = 53 +cost = 44 ((100 101 102) 105) diff --git a/tests/brun/equal-10.txt b/tests/brun/equal-10.txt index 3f19e8b2..159100d0 100644 --- a/tests/brun/equal-10.txt +++ b/tests/brun/equal-10.txt @@ -1,3 +1,3 @@ brun -c '(= (q . 0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010) (q . 0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010))' -cost = 857 +cost = 848 1 diff --git a/tests/brun/equal-2.txt b/tests/brun/equal-2.txt index ca549d6c..ba32943a 100644 --- a/tests/brun/equal-2.txt +++ b/tests/brun/equal-2.txt @@ -1,3 +1,3 @@ brun -c '(= (q . 10) (q . 10))' -cost = 169 +cost = 160 1 diff --git a/tests/brun/equal-3.txt b/tests/brun/equal-3.txt index 18e320fd..0876f674 100644 --- a/tests/brun/equal-3.txt +++ b/tests/brun/equal-3.txt @@ -1,3 +1,3 @@ brun -c '(= (q . 10) 1)' '10' -cost = 193 +cost = 184 1 diff --git a/tests/brun/equal-4.txt b/tests/brun/equal-4.txt index 1a913519..4f10f668 100644 --- a/tests/brun/equal-4.txt +++ b/tests/brun/equal-4.txt @@ -1,3 +1,3 @@ brun -c '(= (q . 0) (q . 0))' -cost = 167 +cost = 158 1 diff --git a/tests/brun/equal-6.txt b/tests/brun/equal-6.txt index a10f6a4f..fbdfbe90 100644 --- a/tests/brun/equal-6.txt +++ b/tests/brun/equal-6.txt @@ -1,3 +1,3 @@ brun -c "(= (q . 2) (q . 3))" -cost = 169 +cost = 160 () diff --git a/tests/brun/equal-8.txt b/tests/brun/equal-8.txt index 2a9a70f3..465aa79e 100644 --- a/tests/brun/equal-8.txt +++ b/tests/brun/equal-8.txt @@ -1,3 +1,3 @@ brun -c "(= (f 1) (+ (f (r 1)) (f (r (r 1)))))" "(7 3 4)" -cost = 1203 +cost = 1194 1 diff --git a/tests/brun/equal-9.txt b/tests/brun/equal-9.txt index 245ee925..648c69a1 100644 --- a/tests/brun/equal-9.txt +++ b/tests/brun/equal-9.txt @@ -1,3 +1,3 @@ brun -c "(= (f 1) (+ (f (r 1)) (f (r (r 1)))))" "(7 3 3)" -cost = 1203 +cost = 1194 () diff --git a/tests/brun/eval-1.txt b/tests/brun/eval-1.txt index 0c35e478..0a204a75 100644 --- a/tests/brun/eval-1.txt +++ b/tests/brun/eval-1.txt @@ -1,3 +1,3 @@ brun -c '(a (q . 1) (q . (100 200)))' -cost = 184 +cost = 175 (100 200) diff --git a/tests/brun/eval-3.txt b/tests/brun/eval-3.txt index a0880789..a1d037f2 100644 --- a/tests/brun/eval-3.txt +++ b/tests/brun/eval-3.txt @@ -1,3 +1,3 @@ brun -c '(a (q . (c (f 1) (q . (105 200)))) (q . (100 200)))' -cost = 286 +cost = 277 (100 105 200) diff --git a/tests/brun/first-1.txt b/tests/brun/first-1.txt index 21f65ccc..590f6ca7 100644 --- a/tests/brun/first-1.txt +++ b/tests/brun/first-1.txt @@ -1,3 +1,3 @@ brun -c '(f (q . (100)))' -cost = 60 +cost = 51 100 diff --git a/tests/brun/first-2.txt b/tests/brun/first-2.txt index d4271965..a13e6cdc 100644 --- a/tests/brun/first-2.txt +++ b/tests/brun/first-2.txt @@ -1,3 +1,3 @@ brun -c '(f (q . (1 2 3)))' -cost = 60 +cost = 51 1 diff --git a/tests/brun/first-4.txt b/tests/brun/first-4.txt index af472893..0e15fa21 100644 --- a/tests/brun/first-4.txt +++ b/tests/brun/first-4.txt @@ -1,3 +1,3 @@ brun -c '(f (f (q . ((100 200 300) 400 500))))' -cost = 91 +cost = 82 100 diff --git a/tests/brun/gr-s-1.txt b/tests/brun/gr-s-1.txt index 30b8ebd7..628a3abe 100644 --- a/tests/brun/gr-s-1.txt +++ b/tests/brun/gr-s-1.txt @@ -1,3 +1,3 @@ brun -c '(>s (q . 0x00) (q . ""))' -cost = 168 +cost = 159 1 diff --git a/tests/brun/gr-s-2.txt b/tests/brun/gr-s-2.txt index e02d34c4..c374e4ff 100644 --- a/tests/brun/gr-s-2.txt +++ b/tests/brun/gr-s-2.txt @@ -1,3 +1,3 @@ brun -c '(>s (q . 0x01) (q . 0x00))' -cost = 169 +cost = 160 1 diff --git a/tests/brun/gr-s-3.txt b/tests/brun/gr-s-3.txt index ade1a3ac..1197f0fa 100644 --- a/tests/brun/gr-s-3.txt +++ b/tests/brun/gr-s-3.txt @@ -1,3 +1,3 @@ brun -c '(>s (q . 0x00) (q . 0x01))' -cost = 169 +cost = 160 () diff --git a/tests/brun/gr-s-4.txt b/tests/brun/gr-s-4.txt index 1aa59de3..adf9ec3a 100644 --- a/tests/brun/gr-s-4.txt +++ b/tests/brun/gr-s-4.txt @@ -1,3 +1,3 @@ brun -c '(>s (q . 0x1000) (q . 0x1001))' -cost = 171 +cost = 162 () diff --git a/tests/brun/gr-s-5.txt b/tests/brun/gr-s-5.txt index 8bf63db2..9f6ee468 100644 --- a/tests/brun/gr-s-5.txt +++ b/tests/brun/gr-s-5.txt @@ -1,3 +1,3 @@ brun -c '(>s (q . 0x1000) (q . 0x01))' -cost = 170 +cost = 161 1 diff --git a/tests/brun/gr-s-6.txt b/tests/brun/gr-s-6.txt index 6a5db110..43bc5ce0 100644 --- a/tests/brun/gr-s-6.txt +++ b/tests/brun/gr-s-6.txt @@ -1,3 +1,3 @@ brun -c '(>s (q . 0x1000) (q . 0x1000))' -cost = 171 +cost = 162 () diff --git a/tests/brun/gr-s-7.txt b/tests/brun/gr-s-7.txt index f96202de..ff6745a2 100644 --- a/tests/brun/gr-s-7.txt +++ b/tests/brun/gr-s-7.txt @@ -1,3 +1,3 @@ brun -c '(>s (q . 0x001004) (q . 0x1005))' -cost = 172 +cost = 163 () diff --git a/tests/brun/gr-s-8.txt b/tests/brun/gr-s-8.txt index e90de23d..0220ad8e 100644 --- a/tests/brun/gr-s-8.txt +++ b/tests/brun/gr-s-8.txt @@ -1,3 +1,3 @@ brun -c '(>s (q . 0x1005) (q . 0x001004))' -cost = 172 +cost = 163 1 diff --git a/tests/brun/greater-10.txt b/tests/brun/greater-10.txt index 28ba0d7e..68510f9d 100644 --- a/tests/brun/greater-10.txt +++ b/tests/brun/greater-10.txt @@ -1,3 +1,3 @@ brun -c "(> (q . 0x000000000000000000000000000000000000000000000000000000000000000000493e0) (q . 0x00000000000000000000000000000000000000000000000000000000000005a))" -cost = 684 +cost = 675 1 diff --git a/tests/brun/greater-2.txt b/tests/brun/greater-2.txt index a931a2d7..f36fad3f 100644 --- a/tests/brun/greater-2.txt +++ b/tests/brun/greater-2.txt @@ -1,3 +1,3 @@ brun -c '(> (q . 11) 1)' '10' -cost = 576 +cost = 567 1 diff --git a/tests/brun/greater-3.txt b/tests/brun/greater-3.txt index aa51e339..d38c71eb 100644 --- a/tests/brun/greater-3.txt +++ b/tests/brun/greater-3.txt @@ -1,3 +1,3 @@ brun -c '(> (q . 9) 1)' '10' -cost = 576 +cost = 567 () diff --git a/tests/brun/greater-4.txt b/tests/brun/greater-4.txt index a70cd1bb..5949cf42 100644 --- a/tests/brun/greater-4.txt +++ b/tests/brun/greater-4.txt @@ -1,3 +1,3 @@ brun -c '(> (q . 0) (q . 0))' -cost = 548 +cost = 539 () diff --git a/tests/brun/greater-7.txt b/tests/brun/greater-7.txt index a22f1f1e..a78e7191 100644 --- a/tests/brun/greater-7.txt +++ b/tests/brun/greater-7.txt @@ -1,3 +1,3 @@ brun -c "(> (q . 3) (q . 300))" -cost = 554 +cost = 545 () diff --git a/tests/brun/greater-8.txt b/tests/brun/greater-8.txt index cfac2e1a..dc43cb71 100644 --- a/tests/brun/greater-8.txt +++ b/tests/brun/greater-8.txt @@ -1,3 +1,3 @@ brun -c "(> (q . 0x5a) (q . 0x493e0))" -cost = 556 +cost = 547 () diff --git a/tests/brun/greater-9.txt b/tests/brun/greater-9.txt index 8b958fa4..e7f7c933 100644 --- a/tests/brun/greater-9.txt +++ b/tests/brun/greater-9.txt @@ -1,3 +1,3 @@ brun -c "(> (q . 0x493e0) (q . 0x5a))" -cost = 556 +cost = 547 1 diff --git a/tests/brun/hex-1.txt b/tests/brun/hex-1.txt index ff4ea1a7..81cbf97e 100644 --- a/tests/brun/hex-1.txt +++ b/tests/brun/hex-1.txt @@ -1,3 +1,3 @@ brun -c '(q . 0x00)' -cost = 29 +cost = 20 0x00 diff --git a/tests/brun/hex-2.txt b/tests/brun/hex-2.txt index b1f0955e..2229eee2 100644 --- a/tests/brun/hex-2.txt +++ b/tests/brun/hex-2.txt @@ -1,3 +1,3 @@ brun -c '(q . 0x007eff)' -cost = 29 +cost = 20 0x007eff diff --git a/tests/brun/if_1.txt b/tests/brun/if_1.txt index 6d4c12a0..a458ed71 100644 --- a/tests/brun/if_1.txt +++ b/tests/brun/if_1.txt @@ -1,3 +1,3 @@ brun -c '(i (q . 100) (q . 200) (q . 300))' -cost = 103 +cost = 94 200 diff --git a/tests/brun/if_2.txt b/tests/brun/if_2.txt index ad0bc254..26dc6b64 100644 --- a/tests/brun/if_2.txt +++ b/tests/brun/if_2.txt @@ -1,3 +1,3 @@ brun -c '(i (q . ()) (q . 200) (q . 300))' -cost = 103 +cost = 94 300 diff --git a/tests/brun/if_3.txt b/tests/brun/if_3.txt index 3ced5870..be55fecd 100644 --- a/tests/brun/if_3.txt +++ b/tests/brun/if_3.txt @@ -1,3 +1,3 @@ brun -c '(i (q . 1) (q . 200) (q . 300))' -cost = 103 +cost = 94 200 diff --git a/tests/brun/if_4.txt b/tests/brun/if_4.txt index 4d7db413..5c31a9b4 100644 --- a/tests/brun/if_4.txt +++ b/tests/brun/if_4.txt @@ -1,3 +1,3 @@ brun -c '(i (f (r (r 1))) (f 1) (f (r 1)))' '(200 300 400)' -cost = 361 +cost = 352 200 diff --git a/tests/brun/if_5.txt b/tests/brun/if_5.txt index 5d8d59a6..9f13a44c 100644 --- a/tests/brun/if_5.txt +++ b/tests/brun/if_5.txt @@ -1,3 +1,3 @@ brun -c '(i (f (r (r 1))) (f 1) (f (r 1)))' '(200 300 1)' -cost = 361 +cost = 352 200 diff --git a/tests/brun/list-1.txt b/tests/brun/list-1.txt index 3d7726c2..4db5d6be 100644 --- a/tests/brun/list-1.txt +++ b/tests/brun/list-1.txt @@ -1,3 +1,3 @@ brun -c '(l (q . 100))' -cost = 49 +cost = 40 () diff --git a/tests/brun/list-2.txt b/tests/brun/list-2.txt index 6813de38..a12ce5c1 100644 --- a/tests/brun/list-2.txt +++ b/tests/brun/list-2.txt @@ -1,3 +1,3 @@ brun -c '(l (q . (100)))' -cost = 49 +cost = 40 1 diff --git a/tests/brun/list-5.txt b/tests/brun/list-5.txt index 42b1e764..17b64c50 100644 --- a/tests/brun/list-5.txt +++ b/tests/brun/list-5.txt @@ -1,3 +1,3 @@ brun -c '(l 2)' '(50)' -cost = 77 +cost = 68 () diff --git a/tests/brun/logand-1.txt b/tests/brun/logand-1.txt index b2945bc4..a1dd2010 100644 --- a/tests/brun/logand-1.txt +++ b/tests/brun/logand-1.txt @@ -1,3 +1,3 @@ brun -c '(logand (q . 0xfffe) (q . 93))' -cost = 697 +cost = 688 92 diff --git a/tests/brun/logand-2.txt b/tests/brun/logand-2.txt index 1c0d6553..68604332 100644 --- a/tests/brun/logand-2.txt +++ b/tests/brun/logand-2.txt @@ -1,3 +1,3 @@ brun -c '(logand (q . 13) (q . 12))' -cost = 694 +cost = 685 12 diff --git a/tests/brun/logand-3.txt b/tests/brun/logand-3.txt index 4d761448..812d3368 100644 --- a/tests/brun/logand-3.txt +++ b/tests/brun/logand-3.txt @@ -1,3 +1,3 @@ brun -c '(logand (q . 13) (q . 12) (q . 4))' -cost = 981 +cost = 972 4 diff --git a/tests/brun/logand-4.txt b/tests/brun/logand-4.txt index ad1486dd..4d5b6281 100644 --- a/tests/brun/logand-4.txt +++ b/tests/brun/logand-4.txt @@ -1,3 +1,3 @@ brun -c '(logand)' -cost = 120 +cost = 111 -1 diff --git a/tests/brun/logand-5.txt b/tests/brun/logand-5.txt index ecb26996..c668ebb5 100644 --- a/tests/brun/logand-5.txt +++ b/tests/brun/logand-5.txt @@ -1,3 +1,3 @@ brun -c '(logand (q . 0x000000000000000000000000000000000000000000000000000000000000fffe) (q . 0x00000000000000000000000000000000000000000000000000000000000005D))' -cost = 880 +cost = 871 92 diff --git a/tests/brun/logand-6.txt b/tests/brun/logand-6.txt index 7b729d3e..4917de08 100644 --- a/tests/brun/logand-6.txt +++ b/tests/brun/logand-6.txt @@ -1,3 +1,3 @@ brun -c '(logand (q . -128) (q . 0x7ffff))' -cost = 720 +cost = 711 0x07ff80 diff --git a/tests/brun/logior-1.txt b/tests/brun/logior-1.txt index 682e1933..8b548ada 100644 --- a/tests/brun/logior-1.txt +++ b/tests/brun/logior-1.txt @@ -1,3 +1,3 @@ brun -c '(logior (q . 12) (q . 5))' -cost = 694 +cost = 685 13 diff --git a/tests/brun/logior-2.txt b/tests/brun/logior-2.txt index ceff6bc7..5ff33d09 100644 --- a/tests/brun/logior-2.txt +++ b/tests/brun/logior-2.txt @@ -1,3 +1,3 @@ brun -c '(logior (q . 12) (q . 5) (q . 7))' -cost = 981 +cost = 972 15 diff --git a/tests/brun/logior-3.txt b/tests/brun/logior-3.txt index cefd84e1..2a865968 100644 --- a/tests/brun/logior-3.txt +++ b/tests/brun/logior-3.txt @@ -1,3 +1,3 @@ brun -c '(logior (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000000c) (q . 0x00005) (q . 0x00000000000000000000000000000000000000000000000000000000000000007))' -cost = 1197 +cost = 1188 15 diff --git a/tests/brun/logior-4.txt b/tests/brun/logior-4.txt index e7151026..755e77cc 100644 --- a/tests/brun/logior-4.txt +++ b/tests/brun/logior-4.txt @@ -1,3 +1,3 @@ brun -c '(logior (q . -128) (q . 0x7ffff))' -cost = 700 +cost = 691 -1 diff --git a/tests/brun/lognot-1.txt b/tests/brun/lognot-1.txt index 1bf672dc..6d5579e0 100644 --- a/tests/brun/lognot-1.txt +++ b/tests/brun/lognot-1.txt @@ -1,3 +1,3 @@ brun -c '(lognot (q . 12))' -cost = 374 +cost = 365 -13 diff --git a/tests/brun/lognot-2.txt b/tests/brun/lognot-2.txt index a719429a..8a3db29a 100644 --- a/tests/brun/lognot-2.txt +++ b/tests/brun/lognot-2.txt @@ -1,3 +1,3 @@ brun -c '(lognot (q . -1))' -cost = 364 +cost = 355 () diff --git a/tests/brun/lognot-3.txt b/tests/brun/lognot-3.txt index 30115fc3..a23e1c4e 100644 --- a/tests/brun/lognot-3.txt +++ b/tests/brun/lognot-3.txt @@ -1,3 +1,3 @@ brun -c '(lognot (q . 0))' -cost = 371 +cost = 362 -1 diff --git a/tests/brun/lognot-4.txt b/tests/brun/lognot-4.txt index ee7fc2c2..4f278cf9 100644 --- a/tests/brun/lognot-4.txt +++ b/tests/brun/lognot-4.txt @@ -1,3 +1,3 @@ brun -c '(lognot (q . 734671943749191))' -cost = 452 +cost = 443 0xfd63d1dbc431b8 diff --git a/tests/brun/lognot-8.txt b/tests/brun/lognot-8.txt index cbc5a162..27a479eb 100644 --- a/tests/brun/lognot-8.txt +++ b/tests/brun/lognot-8.txt @@ -1,3 +1,3 @@ brun -c '(lognot (q . 0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001))' -cost = 14903 +cost = 14894 -2 diff --git a/tests/brun/logxor-1.txt b/tests/brun/logxor-1.txt index 18098dbe..dd0e316c 100644 --- a/tests/brun/logxor-1.txt +++ b/tests/brun/logxor-1.txt @@ -1,3 +1,3 @@ brun -c '(logxor (q . 12) (q . 5))' -cost = 694 +cost = 685 9 diff --git a/tests/brun/logxor-2.txt b/tests/brun/logxor-2.txt index ef4286b7..41403189 100644 --- a/tests/brun/logxor-2.txt +++ b/tests/brun/logxor-2.txt @@ -1,3 +1,3 @@ brun -c '(logxor (q . 12) (q . 5) (q . 7))' -cost = 981 +cost = 972 14 diff --git a/tests/brun/logxor-3.txt b/tests/brun/logxor-3.txt index 27e49c18..f00e95f7 100644 --- a/tests/brun/logxor-3.txt +++ b/tests/brun/logxor-3.txt @@ -1,3 +1,3 @@ brun -c '(logxor (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000c) (q . 0x00005) (q . 0x0000000000000000000000000000000000000000000000000000000000000000007))' -cost = 1194 +cost = 1185 14 diff --git a/tests/brun/logxor-4.txt b/tests/brun/logxor-4.txt index ec1f43e0..440bdf96 100644 --- a/tests/brun/logxor-4.txt +++ b/tests/brun/logxor-4.txt @@ -1,3 +1,3 @@ brun -c '(logxor (q . -128) (q . 0x7ffff))' -cost = 720 +cost = 711 0xf8007f diff --git a/tests/brun/lsh-1.txt b/tests/brun/lsh-1.txt index 23e07615..803ee16b 100644 --- a/tests/brun/lsh-1.txt +++ b/tests/brun/lsh-1.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 7) (q . 1))' -cost = 343 +cost = 334 14 diff --git a/tests/brun/lsh-2.txt b/tests/brun/lsh-2.txt index 189c5c67..9ea45afd 100644 --- a/tests/brun/lsh-2.txt +++ b/tests/brun/lsh-2.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 7) (q . 100))' -cost = 499 +cost = 490 0x70000000000000000000000000 diff --git a/tests/brun/lsh-3.txt b/tests/brun/lsh-3.txt index 6e9eea82..b857dbe2 100644 --- a/tests/brun/lsh-3.txt +++ b/tests/brun/lsh-3.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . -7) (q . 100))' -cost = 512 +cost = 503 0x0f90000000000000000000000000 diff --git a/tests/brun/lsh-4.txt b/tests/brun/lsh-4.txt index 2d7b4072..1566d411 100644 --- a/tests/brun/lsh-4.txt +++ b/tests/brun/lsh-4.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 0x90000000000000000000000000) (q . -100))' -cost = 379 +cost = 370 9 diff --git a/tests/brun/lsh-8.txt b/tests/brun/lsh-8.txt index 689d14d7..a165eced 100644 --- a/tests/brun/lsh-8.txt +++ b/tests/brun/lsh-8.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 500) (q . 65535))' -cost = 106852 +cost = 106843 0x00fa0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 diff --git a/tests/brun/lsh-9.txt b/tests/brun/lsh-9.txt index 3723ac09..dc5a48b5 100644 --- a/tests/brun/lsh-9.txt +++ b/tests/brun/lsh-9.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 500) (q . -65535))' -cost = 333 +cost = 324 () diff --git a/tests/brun/lsh-d.txt b/tests/brun/lsh-d.txt index 0c4fcec9..5609e3a0 100644 --- a/tests/brun/lsh-d.txt +++ b/tests/brun/lsh-d.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 0xffffff) (q . 0))' -cost = 385 +cost = 376 0x00ffffff diff --git a/tests/brun/lsh-e.txt b/tests/brun/lsh-e.txt index 9714aec5..ef72b509 100644 --- a/tests/brun/lsh-e.txt +++ b/tests/brun/lsh-e.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 0xffffff) (q . 1))' -cost = 388 +cost = 379 0x01fffffe diff --git a/tests/brun/lsh-f.txt b/tests/brun/lsh-f.txt index 10250472..7e1c6779 100644 --- a/tests/brun/lsh-f.txt +++ b/tests/brun/lsh-f.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 0x00ffffff) (q . -1))' -cost = 378 +cost = 369 0x7fffff diff --git a/tests/brun/lsh-g.txt b/tests/brun/lsh-g.txt index c207ffbe..ab346288 100644 --- a/tests/brun/lsh-g.txt +++ b/tests/brun/lsh-g.txt @@ -1,3 +1,3 @@ brun -c '(lsh (q . 0xffffff) (q . 8))' -cost = 398 +cost = 389 0x00ffffff00 diff --git a/tests/brun/max-cost-1.txt b/tests/brun/max-cost-1.txt index 5ba77b03..07621ea9 100644 --- a/tests/brun/max-cost-1.txt +++ b/tests/brun/max-cost-1.txt @@ -1,2 +1,2 @@ brun -c -m 73 '(c (q . 100) (q . 200))' -FAIL: cost exceeded 251 +FAIL: cost exceeded 73 diff --git a/tests/brun/max-cost-2.txt b/tests/brun/max-cost-2.txt index bbe63027..14139c78 100644 --- a/tests/brun/max-cost-2.txt +++ b/tests/brun/max-cost-2.txt @@ -1,2 +1,2 @@ brun -m 72 '(c (q . 100) (q . 200))' -FAIL: cost exceeded 250 +FAIL: cost exceeded 72 diff --git a/tests/brun/mul-1.txt b/tests/brun/mul-1.txt index 1b74c188..42563fd1 100644 --- a/tests/brun/mul-1.txt +++ b/tests/brun/mul-1.txt @@ -1,3 +1,3 @@ brun -c '(* (q . 7) (q . 2))' -cost = 1049 +cost = 1040 14 diff --git a/tests/brun/mul-2.txt b/tests/brun/mul-2.txt index 209a7eb8..8b8cc9ef 100644 --- a/tests/brun/mul-2.txt +++ b/tests/brun/mul-2.txt @@ -1,3 +1,3 @@ brun -c '(* (q . 1))' -cost = 132 +cost = 123 1 diff --git a/tests/brun/mul-3.txt b/tests/brun/mul-3.txt index cbf4d393..c1c25469 100644 --- a/tests/brun/mul-3.txt +++ b/tests/brun/mul-3.txt @@ -1,3 +1,3 @@ brun -c '(* ())' -cost = 146 +cost = 137 () diff --git a/tests/brun/mul-4.txt b/tests/brun/mul-4.txt index fca4d943..d2d54908 100644 --- a/tests/brun/mul-4.txt +++ b/tests/brun/mul-4.txt @@ -1,3 +1,3 @@ brun -c '(*)' -cost = 112 +cost = 103 1 diff --git a/tests/brun/mul-5.txt b/tests/brun/mul-5.txt index dce909f0..7c4063a3 100644 --- a/tests/brun/mul-5.txt +++ b/tests/brun/mul-5.txt @@ -1,3 +1,3 @@ brun -c '(* (q . 0x00000000000000000000000000000000000000000000000000000000000000000000000007) (q . 0x000000000000000000000000000000000000000000000000000000000000000000000000000000002))' -cost = 1516 +cost = 1507 14 diff --git a/tests/brun/mul-6.txt b/tests/brun/mul-6.txt index 61630770..0f2527f8 100644 --- a/tests/brun/mul-6.txt +++ b/tests/brun/mul-6.txt @@ -1,3 +1,3 @@ brun -c '(* (q . 7) (q . -1))' -cost = 1049 +cost = 1040 -7 diff --git a/tests/brun/mul-7.txt b/tests/brun/mul-7.txt index 2d32b1d5..8a062e65 100644 --- a/tests/brun/mul-7.txt +++ b/tests/brun/mul-7.txt @@ -1,2 +1,2 @@ brun -c -m 10000 '(* (q . 10000000000000000000000000000000000) (q . 10000000000000000000000000000000) (q . 100000000000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000) (q . 1000000000000000000000000000000))' -FAIL: cost exceeded 10178 +FAIL: cost exceeded 10000 diff --git a/tests/brun/not-1.txt b/tests/brun/not-1.txt index 14f74759..da8bb0e2 100644 --- a/tests/brun/not-1.txt +++ b/tests/brun/not-1.txt @@ -1,3 +1,3 @@ brun -c '(not (q . 0))' -cost = 230 +cost = 221 1 diff --git a/tests/brun/not-2.txt b/tests/brun/not-2.txt index 8cd82ffe..f30dae62 100644 --- a/tests/brun/not-2.txt +++ b/tests/brun/not-2.txt @@ -1,3 +1,3 @@ brun -c '(not (q . 1))' -cost = 230 +cost = 221 () diff --git a/tests/brun/not-3.txt b/tests/brun/not-3.txt index 4abe8163..1235b926 100644 --- a/tests/brun/not-3.txt +++ b/tests/brun/not-3.txt @@ -1,3 +1,3 @@ brun -c '(not (q . (foo bar)))' -cost = 230 +cost = 221 () diff --git a/tests/brun/path-1.txt b/tests/brun/path-1.txt index aac4834c..7d2bb7f7 100644 --- a/tests/brun/path-1.txt +++ b/tests/brun/path-1.txt @@ -1,3 +1,3 @@ brun -c '1' '1' -cost = 53 +cost = 44 1 diff --git a/tests/brun/path-10.txt b/tests/brun/path-10.txt index 5b9ceacc..8f7cc718 100644 --- a/tests/brun/path-10.txt +++ b/tests/brun/path-10.txt @@ -1,3 +1,3 @@ brun -n -c '0xD7' '(0x1337 . (0x1337 . (0x1337 . ((0x1337 . ((0x1337 . 42) . 0x1337)) . 0x1337))))' -cost = 81 +cost = 72 42 diff --git a/tests/brun/path-11.txt b/tests/brun/path-11.txt index c5435b32..db070905 100644 --- a/tests/brun/path-11.txt +++ b/tests/brun/path-11.txt @@ -1,3 +1,3 @@ brun -n -c '0x000000000000000000000000' -cost = 101 +cost = 92 () diff --git a/tests/brun/path-2.txt b/tests/brun/path-2.txt index f4c97647..6cfc572c 100644 --- a/tests/brun/path-2.txt +++ b/tests/brun/path-2.txt @@ -1,3 +1,3 @@ brun -n -c '44' '(((0x1337 . (0x1337 . (42 . 0x1337))) . 0x1337) . 0x1337)' -cost = 73 +cost = 64 42 diff --git a/tests/brun/path-3.txt b/tests/brun/path-3.txt index f76d1c88..d7684722 100644 --- a/tests/brun/path-3.txt +++ b/tests/brun/path-3.txt @@ -1,3 +1,3 @@ brun -n -c '7708975405620101644641102810267383005' '(0x1337 . ((0x1337 . (0x1337 . (0x1337 . ((0x1337 . (0x1337 . (((0x1337 . ((0x1337 . (0x1337 . (0x1337 . (0x1337 . (0x1337 . ((0x1337 . (0x1337 . ((0x1337 . (((0x1337 . (0x1337 . (0x1337 . ((0x1337 . (((0x1337 . (((0x1337 . (0x1337 . (0x1337 . (0x1337 . ((0x1337 . ((0x1337 . (((((0x1337 . ((0x1337 . ((0x1337 . (0x1337 . (0x1337 . (((0x1337 . (0x1337 . ((0x1337 . (0x1337 . ((((0x1337 . (0x1337 . (0x1337 . (0x1337 . (((((0x1337 . (0x1337 . (0x1337 . (0x1337 . (0x1337 . (((((0x1337 . (((((0x1337 . ((0x1337 . (0x1337 . ((((0x1337 . ((((0x1337 . ((0x1337 . ((0x1337 . ((0x1337 . (0x1337 . (0x1337 . ((((0x1337 . (0x1337 . ((0x1337 . (((0x1337 . (0x1337 . (((0x1337 . (0x1337 . (0x1337 . (42 . 0x1337)))) . 0x1337) . 0x1337))) . 0x1337) . 0x1337)) . 0x1337))) . 0x1337) . 0x1337) . 0x1337)))) . 0x1337)) . 0x1337)) . 0x1337)) . 0x1337) . 0x1337) . 0x1337)) . 0x1337) . 0x1337) . 0x1337))) . 0x1337)) . 0x1337) . 0x1337) . 0x1337) . 0x1337)) . 0x1337) . 0x1337) . 0x1337) . 0x1337)))))) . 0x1337) . 0x1337) . 0x1337) . 0x1337))))) . 0x1337) . 0x1337) . 0x1337))) . 0x1337))) . 0x1337) . 0x1337)))) . 0x1337)) . 0x1337)) . 0x1337) . 0x1337) . 0x1337) . 0x1337)) . 0x1337)) . 0x1337))))) . 0x1337) . 0x1337)) . 0x1337) . 0x1337)) . 0x1337)))) . 0x1337) . 0x1337)) . 0x1337))) . 0x1337)))))) . 0x1337)) . 0x1337) . 0x1337))) . 0x1337)))) . 0x1337))' -cost = 541 +cost = 532 42 diff --git a/tests/brun/path-4.txt b/tests/brun/path-4.txt index 57d00383..ff141fef 100644 --- a/tests/brun/path-4.txt +++ b/tests/brun/path-4.txt @@ -1,3 +1,3 @@ brun -n -c '1' '(((0x1337 . (0x1337 . (42 . 0x1337))) . 0x1337) . 0x1337)' -cost = 53 +cost = 44 (((4919 4919 42 . 4919) . 4919) . 4919) diff --git a/tests/brun/path-5.txt b/tests/brun/path-5.txt index 3af1f921..af867a64 100644 --- a/tests/brun/path-5.txt +++ b/tests/brun/path-5.txt @@ -1,3 +1,3 @@ brun -n -c '0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001' '(((0x1337 . (0x1337 . (42 . 0x1337))) . 0x1337) . 0x1337)' -cost = 545 +cost = 536 (((4919 4919 42 . 4919) . 4919) . 4919) diff --git a/tests/brun/path-6.txt b/tests/brun/path-6.txt index acbb2b13..524014de 100644 --- a/tests/brun/path-6.txt +++ b/tests/brun/path-6.txt @@ -1,3 +1,3 @@ brun -n -c '56800' '((((((0x1337 . (0x1337 . (0x1337 . (0x1337 . ((0x1337 . (0x1337 . (0x1337 . ((0x1337 . 42) . 0x1337)))) . 0x1337))))) . 0x1337) . 0x1337) . 0x1337) . 0x1337) . 0x1337)' -cost = 117 +cost = 108 42 diff --git a/tests/brun/path-7.txt b/tests/brun/path-7.txt index 4c0e34cd..13ff79b9 100644 --- a/tests/brun/path-7.txt +++ b/tests/brun/path-7.txt @@ -1,3 +1,3 @@ brun -n -c '4012287723' '(0x1337 . (0x1337 . ((0x1337 . ((0x1337 . (0x1337 . (0x1337 . ((0x1337 . (0x1337 . (((0x1337 . ((0x1337 . ((0x1337 . (0x1337 . (((0x1337 . (((0x1337 . (0x1337 . (0x1337 . (0x1337 . ((0x1337 . (0x1337 . 42)) . 0x1337))))) . 0x1337) . 0x1337)) . 0x1337) . 0x1337))) . 0x1337)) . 0x1337)) . 0x1337) . 0x1337))) . 0x1337)))) . 0x1337)) . 0x1337)))' -cost = 181 +cost = 172 42 diff --git a/tests/brun/path-8.txt b/tests/brun/path-8.txt index cd6a4ba4..880e0654 100644 --- a/tests/brun/path-8.txt +++ b/tests/brun/path-8.txt @@ -1,3 +1,3 @@ brun -n -c '0x0000C8C141AB3121E776' '((0x1337 . (0x1337 . ((0x1337 . (0x1337 . (0x1337 . ((0x1337 . (0x1337 . (0x1337 . (((0x1337 . (0x1337 . (0x1337 . (0x1337 . (((((0x1337 . (((0x1337 . ((((0x1337 . (0x1337 . (((0x1337 . (0x1337 . ((0x1337 . ((0x1337 . ((0x1337 . (0x1337 . ((((((0x1337 . ((0x1337 . ((((((0x1337 . (0x1337 . ((((0x1337 . (((0x1337 . 42) . 0x1337) . 0x1337)) . 0x1337) . 0x1337) . 0x1337))) . 0x1337) . 0x1337) . 0x1337) . 0x1337) . 0x1337)) . 0x1337)) . 0x1337) . 0x1337) . 0x1337) . 0x1337) . 0x1337))) . 0x1337)) . 0x1337)) . 0x1337))) . 0x1337) . 0x1337))) . 0x1337) . 0x1337) . 0x1337)) . 0x1337) . 0x1337)) . 0x1337) . 0x1337) . 0x1337) . 0x1337))))) . 0x1337) . 0x1337)))) . 0x1337)))) . 0x1337))) . 0x1337)' -cost = 313 +cost = 304 42 diff --git a/tests/brun/path-9.txt b/tests/brun/path-9.txt index b43cb9f4..7630ff3c 100644 --- a/tests/brun/path-9.txt +++ b/tests/brun/path-9.txt @@ -1,3 +1,3 @@ brun -n -c '0x00D7' '(0x1337 . (0x1337 . (0x1337 . ((0x1337 . ((0x1337 . 42) . 0x1337)) . 0x1337))))' -cost = 85 +cost = 76 42 diff --git a/tests/brun/point-add-1.txt b/tests/brun/point-add-1.txt index 107a1e7a..e6978dfc 100644 --- a/tests/brun/point-add-1.txt +++ b/tests/brun/point-add-1.txt @@ -1,3 +1,3 @@ brun -c '(point_add (pubkey_for_exp (q . 1)) (pubkey_for_exp (q . 2)))' -cost = 5442082 +cost = 5442073 0x89ece308f9d1f0131765212deca99697b112d61f9be9a5f1f3780a51335b3ff981747a0b2ca2179b96d2c0c9024e5224 diff --git a/tests/brun/point-add-2.txt b/tests/brun/point-add-2.txt index a6994073..80a4f78a 100644 --- a/tests/brun/point-add-2.txt +++ b/tests/brun/point-add-2.txt @@ -1,3 +1,3 @@ brun -c '(= (point_add (pubkey_for_exp (q . 2)) (pubkey_for_exp (q . 3))) (pubkey_for_exp (q . 5)))' -cost = 6768565 +cost = 6768556 1 diff --git a/tests/brun/point-add-3.txt b/tests/brun/point-add-3.txt index 9628bedf..45c7998d 100644 --- a/tests/brun/point-add-3.txt +++ b/tests/brun/point-add-3.txt @@ -1,3 +1,3 @@ brun -c '(= (point_add (pubkey_for_exp (q . -2)) (pubkey_for_exp (q . 5))) (pubkey_for_exp (q . 3)))' -cost = 6768565 +cost = 6768556 1 diff --git a/tests/brun/power-1.txt b/tests/brun/power-1.txt index 89be3358..ce07ba57 100644 --- a/tests/brun/power-1.txt +++ b/tests/brun/power-1.txt @@ -1,4 +1,4 @@ # run '(mod (X N) (defun power (X N) (if (= N 0) 1 (* X (power X (- N 1))))) (power X N))' brun -c '(a (q . (a 2 (c 2 (c 5 (c 11 (q . ())))))) (c (q . (a (i (= 11 (q . ())) (q . (q . 1)) (q . (* 5 (a 2 (c 2 (c 5 (c (- 11 (q . 1)) (q . ())))))))) 1)) 1))' '(5033 1000)' -cost = 15025126 +cost = 15025117 0x024d4f505f1f813ca5e0ae8805bad8707347e65c5f7595da4852be5074288431d1df11a0c326d249f1f52ee051579403d1d0c23a7a1e9af18b7d7dc4c63c73542863c434ae9dfa80141a30cf4acee0d6c896aa2e64ea748404427a3bdaa1b97e4e09b8f5e4f8e9c568a4fc219532dbbad5ec54476d19b7408f8e7e7df16b830c20a1e83d90cc0620b0677b7606307f725539ef223561cdb276baf8e92156ee6492d97159c8f64768349ea7e219fd07fa818a59d81d0563b140396402f0ff758840da19808440e0a57c94c48ef84b4ab7ca8c5f010b69b8f443b12b50bd91bdcf2a96208ddac283fa294d6a99f369d57ab41d03eab5bb4809223c141ad94378516e6766a5054e22e997e260978af68a86893890d612f081b40d54fd1e940af35c0d7900c9a917e2458a61ef8a83f7211f519b2c5f015dfa7c2949ef8bedd02d3bad64ca9b2963dc2bb79f24092331133a7a299872079b9d0422b8fc0eeba4e12c7667ac7282cc6ff98a7c670614c9fce5a061b8d5cd4dd3c6d62d245688b62f9713dc2604bdd5bbc85c070c51f784a9ebac0e0eaa2e29e82d93e570887aa7e1a9d25baf0b2c55a4615f35ec0dbe9baa921569700f95e10cd2d4f6ba152a2ac288c37b60980df33dadfa920fd43dbbf55a0b333b88a3237d954e33d80ed6582019faf51db5f1b52e392559323f8bdd945e7fc6cb8f97f2b8417cfc184d7bfbfa5314d4114f95b725847523f1848d13c28ad96662298ee4e2d87af23e7cb4e58d7a20a5c57ae6833b4a37dcafccca0245a0d6ef28f83200d74db390281e03dd3a8b782970895764c3fcef31c5ed6d0b6e4e796a62ad5654691eea0d9db351cc4fee63248405b24c98bd5e68e4a5e0ab11e90e3c7de270c594d3a35639d931853b7010c8c896f6b28b2af719e53da65da89d44b926b6f06123c9217a43be35d751516bd02c18c4f868a2eae78ae3c6deab1115086c8ce58414db4561865d17ab95c7b3d4e1bfc6d0a4d3fbf5f20a0a7d77a9270e4da354c588da55b0063aec76654019ffb310e1503d99a7bc81ccdf5f8b15c8638156038624cf35988d8420bfdb59184c4b86bf5448df65c44aedc2e98eead7f1ba4be8f402baf12d41076b8f0991cfc778e04ba2c05d1440c70488ffaeefde537064035037f729b683e8ff1b3d0b4aa26a2b30bcaa9379f7fcc7072ff9a2c3e801c5979b0ab3e7acf89373de642d596f26514b9fa213ca217181a8429ad69d14445a822b16818c2509480576dc0ff7bac48c557e6d1883039f4daf873fa4f9a4d849130e2e4336049cfaf9e69a7664f0202b901cf07c7065c4dc93c46f98c5ea5c9c9d911b733093490da3bf1c95f43cd18b7be3798535a55ac6da3442946a268b74bde1349ca9807c41d90c7ec218a17efd2c21d5fcd720501f8a488f1dfba0a423dfdb2a877707b77930e80d734ceabcdb24513fad8f2e2470604d041df083bf184edd0e9720dd2b608b1ee1df951d7ce8ec671317b4f5a3946aa75280658b4ef77b3f504ce73e7ecac84eec3c2b45fb62f6fbd5ab78c744abd3bf5d0ab37d7b19124d2470d53db09ddc1f9dd9654b0e6a3a44c95d0a5a5e061bd24813508d3d1c901544dc3e6b84ca38dd2fde5ea60a57cbc12428848c4e3f6fd4941ebd23d709a717a090dd01830436659f7c20fd2d70c916427e9f3f12ac479128c2783f02a9824aa4e31de133c2704e049a50160f656e28aa0a2615b32bd48bb5d5d13d363a487324c1e9b8703be938bc545654465c9282ad5420978263b3e3ba1bb45e1a382554ac68e5a154b896c9c4c2c3853fbbfc877c4fb7dc164cc420f835c413839481b1d2913a68d206e711fb19b284a7bb2bd2033531647cf135833a0f3026b0c1dc0c184120d30ef4865985fdacdfb848ab963d2ae26a784b7b6a64fdb8feacf94febed72dcd0a41dc12be26ed79af88f1d9cba36ed1f95f2da8e6194800469091d2dfc7b04cfe93ab7a7a888b2695bca45a76a1458d08c3b6176ab89e7edc56c7e01142adfff944641b89cd5703a911145ac4ec42164d90b6fcd78b39602398edcd1f935485894fb8a1f416e031624806f02fbd07f398dbfdd48b86dfacf2045f85ecfe5bb1f01fae758dcdb4ae3b1e2aac6f0878f700d1f430b8ca47c9d8254059bd5c006042c4605f33ca98b41 diff --git a/tests/brun/pubkey-for-exp-1.txt b/tests/brun/pubkey-for-exp-1.txt index 5dd17b48..1044b329 100644 --- a/tests/brun/pubkey-for-exp-1.txt +++ b/tests/brun/pubkey-for-exp-1.txt @@ -1,3 +1,3 @@ brun -c '(pubkey_for_exp (q . 1))' -cost = 1326278 +cost = 1326269 0x97f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb diff --git a/tests/brun/pubkey-for-exp-2.txt b/tests/brun/pubkey-for-exp-2.txt index 079792b0..5ae317a7 100644 --- a/tests/brun/pubkey-for-exp-2.txt +++ b/tests/brun/pubkey-for-exp-2.txt @@ -1,3 +1,3 @@ brun -c '(pubkey_for_exp (q . 2))' -cost = 1326278 +cost = 1326269 0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e diff --git a/tests/brun/pubkey-for-exp-3.txt b/tests/brun/pubkey-for-exp-3.txt index 105dc4c9..14ea9d74 100644 --- a/tests/brun/pubkey-for-exp-3.txt +++ b/tests/brun/pubkey-for-exp-3.txt @@ -1,3 +1,3 @@ brun -c '(pubkey_for_exp (q . 3))' -cost = 1326278 +cost = 1326269 0x89ece308f9d1f0131765212deca99697b112d61f9be9a5f1f3780a51335b3ff981747a0b2ca2179b96d2c0c9024e5224 diff --git a/tests/brun/pubkey-for-exp-4.txt b/tests/brun/pubkey-for-exp-4.txt index d05b4e17..7db7df15 100644 --- a/tests/brun/pubkey-for-exp-4.txt +++ b/tests/brun/pubkey-for-exp-4.txt @@ -1,3 +1,3 @@ brun -c '(pubkey_for_exp (q . -2))' -cost = 1326278 +cost = 1326269 0x8572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e diff --git a/tests/brun/pubkey-for-exp-5.txt b/tests/brun/pubkey-for-exp-5.txt index 7c907c26..e5f6da15 100644 --- a/tests/brun/pubkey-for-exp-5.txt +++ b/tests/brun/pubkey-for-exp-5.txt @@ -1,3 +1,3 @@ brun -c '(pubkey_for_exp (q . 5))' -cost = 1326278 +cost = 1326269 0xb0e7791fb972fe014159aa33a98622da3cdc98ff707965e536d8636b5fcc5ac7a91a8c46e59a00dca575af0f18fb13dc diff --git a/tests/brun/quote-1.txt b/tests/brun/quote-1.txt index 884e6fdc..b0548ad1 100644 --- a/tests/brun/quote-1.txt +++ b/tests/brun/quote-1.txt @@ -1,3 +1,3 @@ brun -c '(q . 0)' -cost = 29 +cost = 20 () diff --git a/tests/brun/quote-3.txt b/tests/brun/quote-3.txt index 884e6fdc..b0548ad1 100644 --- a/tests/brun/quote-3.txt +++ b/tests/brun/quote-3.txt @@ -1,3 +1,3 @@ brun -c '(q . 0)' -cost = 29 +cost = 20 () diff --git a/tests/brun/quote-5.txt b/tests/brun/quote-5.txt index a4ec570f..b90dbb00 100644 --- a/tests/brun/quote-5.txt +++ b/tests/brun/quote-5.txt @@ -1,3 +1,3 @@ brun -c '(q)' -cost = 29 +cost = 20 () diff --git a/tests/brun/quote-7.txt b/tests/brun/quote-7.txt index 6c5a7818..93ed2c07 100644 --- a/tests/brun/quote-7.txt +++ b/tests/brun/quote-7.txt @@ -1,3 +1,3 @@ brun -c '(q 0 1)' -cost = 29 +cost = 20 (() 1) diff --git a/tests/brun/rest-1.txt b/tests/brun/rest-1.txt index 566a51f0..6289864b 100644 --- a/tests/brun/rest-1.txt +++ b/tests/brun/rest-1.txt @@ -1,3 +1,3 @@ brun -c '(r (q . (100)))' -cost = 60 +cost = 51 () diff --git a/tests/brun/rest-2.txt b/tests/brun/rest-2.txt index 1f7ccfe3..2cd3d387 100644 --- a/tests/brun/rest-2.txt +++ b/tests/brun/rest-2.txt @@ -1,3 +1,3 @@ brun -c '(r (q . (100 200 300)))' -cost = 60 +cost = 51 (200 300) diff --git a/tests/brun/rest-4.txt b/tests/brun/rest-4.txt index cdd01ed2..334a32eb 100644 --- a/tests/brun/rest-4.txt +++ b/tests/brun/rest-4.txt @@ -1,3 +1,3 @@ brun -c '(r (r (q . ((100 200 300) 400 500))))' -cost = 91 +cost = 82 (500) diff --git a/tests/brun/sha256-1.txt b/tests/brun/sha256-1.txt index a12f338e..67513b03 100644 --- a/tests/brun/sha256-1.txt +++ b/tests/brun/sha256-1.txt @@ -1,3 +1,3 @@ brun -c '(sha256 (f 1))' '("hello.there.my.dear.friend")' -cost = 678 +cost = 669 0x5272821c151fdd49f19cc58cf8833da5781c7478a36d500e8dc2364be39f8216 diff --git a/tests/brun/sha256-2.txt b/tests/brun/sha256-2.txt index fc9911fb..471f6b25 100644 --- a/tests/brun/sha256-2.txt +++ b/tests/brun/sha256-2.txt @@ -1,3 +1,3 @@ brun -c '(sha256 (q . "hel") (q . "lo.there.my.dear.friend"))' -cost = 777 +cost = 768 0x5272821c151fdd49f19cc58cf8833da5781c7478a36d500e8dc2364be39f8216 diff --git a/tests/brun/sha256-3.txt b/tests/brun/sha256-3.txt index cfad448c..22a9ed62 100644 --- a/tests/brun/sha256-3.txt +++ b/tests/brun/sha256-3.txt @@ -1,3 +1,3 @@ brun -c '(sha256 (f 1) (f (r 1)))' '("hel" "lo.there.my.dear.friend")' -cost = 918 +cost = 909 0x5272821c151fdd49f19cc58cf8833da5781c7478a36d500e8dc2364be39f8216 diff --git a/tests/brun/simple_add.txt b/tests/brun/simple_add.txt index 1e7f99e0..71141612 100644 --- a/tests/brun/simple_add.txt +++ b/tests/brun/simple_add.txt @@ -1,3 +1,3 @@ brun -c "(+ (q . 10) (q . 20))" -cost = 805 +cost = 796 30 diff --git a/tests/brun/softfork-1.txt b/tests/brun/softfork-1.txt index 79812566..1ff9c101 100644 --- a/tests/brun/softfork-1.txt +++ b/tests/brun/softfork-1.txt @@ -1,3 +1,3 @@ brun -c '(softfork (q . 50))' -cost = 80 +cost = 71 () diff --git a/tests/brun/softfork-2.txt b/tests/brun/softfork-2.txt index 0738402c..7c289875 100644 --- a/tests/brun/softfork-2.txt +++ b/tests/brun/softfork-2.txt @@ -1,3 +1,3 @@ brun -c '(softfork (q . 51) (q . (+ 60 50)))' -cost = 101 +cost = 92 () diff --git a/tests/brun/softfork-3.txt b/tests/brun/softfork-3.txt index 9f946c87..04811597 100644 --- a/tests/brun/softfork-3.txt +++ b/tests/brun/softfork-3.txt @@ -1,3 +1,3 @@ brun -c '(softfork (q . 3121) (q . (+ 60 50)))' -cost = 3171 +cost = 3162 () diff --git a/tests/brun/softfork-5.txt b/tests/brun/softfork-5.txt index 395b28bc..2a79daf5 100644 --- a/tests/brun/softfork-5.txt +++ b/tests/brun/softfork-5.txt @@ -1,3 +1,3 @@ brun -c '(softfork (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000050))' -cost = 110 +cost = 101 () diff --git a/tests/brun/strlen-1.txt b/tests/brun/strlen-1.txt index dac0f91c..be70de0d 100644 --- a/tests/brun/strlen-1.txt +++ b/tests/brun/strlen-1.txt @@ -1,3 +1,3 @@ brun -c '(strlen 1)' 'foo-bar' -cost = 244 +cost = 235 7 diff --git a/tests/brun/strlen-3.txt b/tests/brun/strlen-3.txt index e3a56cda..def7b4ba 100644 --- a/tests/brun/strlen-3.txt +++ b/tests/brun/strlen-3.txt @@ -1,3 +1,3 @@ brun -c '(strlen 1)' '()' -cost = 227 +cost = 218 () diff --git a/tests/brun/strlen-4.txt b/tests/brun/strlen-4.txt index bf4feec2..223700f5 100644 --- a/tests/brun/strlen-4.txt +++ b/tests/brun/strlen-4.txt @@ -1,3 +1,3 @@ brun -c '(strlen 1)' '"the quick brown fox jumps over the lazy dogs"' -cost = 281 +cost = 272 44 diff --git a/tests/brun/sub-1.txt b/tests/brun/sub-1.txt index d88925fd..80e64b58 100644 --- a/tests/brun/sub-1.txt +++ b/tests/brun/sub-1.txt @@ -1,3 +1,3 @@ brun -c '(- (q . 7) (q . 1))' -cost = 805 +cost = 796 6 diff --git a/tests/brun/sub-2.txt b/tests/brun/sub-2.txt index 5c760bfc..99798872 100644 --- a/tests/brun/sub-2.txt +++ b/tests/brun/sub-2.txt @@ -1,3 +1,3 @@ brun -c '(- (q . 1))' -cost = 462 +cost = 453 1 diff --git a/tests/brun/sub-3.txt b/tests/brun/sub-3.txt index b8263f02..11d4be4d 100644 --- a/tests/brun/sub-3.txt +++ b/tests/brun/sub-3.txt @@ -1,3 +1,3 @@ brun -c '(- ())' -cost = 473 +cost = 464 () diff --git a/tests/brun/sub-4.txt b/tests/brun/sub-4.txt index 79533627..aad1ff99 100644 --- a/tests/brun/sub-4.txt +++ b/tests/brun/sub-4.txt @@ -1,3 +1,3 @@ brun -c '(-)' -cost = 109 +cost = 100 () diff --git a/tests/brun/sub-5.txt b/tests/brun/sub-5.txt index 6816b2ab..c5c8e556 100644 --- a/tests/brun/sub-5.txt +++ b/tests/brun/sub-5.txt @@ -1,3 +1,3 @@ brun -c '(- (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007) (q . 0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001))' -cost = 1144 +cost = 1135 6 diff --git a/tests/brun/substr-01.txt b/tests/brun/substr-01.txt index 618800dd..a472cefb 100644 --- a/tests/brun/substr-01.txt +++ b/tests/brun/substr-01.txt @@ -1,3 +1,3 @@ brun -c '(substr (q . "abcdefghijkl") (q . 0))' -cost = 51 +cost = 42 "abcdefghijkl" diff --git a/tests/brun/substr-03.txt b/tests/brun/substr-03.txt index e6fd1074..727cc188 100644 --- a/tests/brun/substr-03.txt +++ b/tests/brun/substr-03.txt @@ -1,3 +1,3 @@ brun -c '(substr (q . "abcdefghijkl") (q . 12))' -cost = 51 +cost = 42 () diff --git a/tests/brun/substr-04.txt b/tests/brun/substr-04.txt index f8741ede..9c57ee37 100644 --- a/tests/brun/substr-04.txt +++ b/tests/brun/substr-04.txt @@ -1,3 +1,3 @@ brun -c '(substr (q . "abcdefghijkl") (q . 11))' -cost = 51 +cost = 42 108 diff --git a/tests/brun/substr-05.txt b/tests/brun/substr-05.txt index 90f7ec08..f200d8d5 100644 --- a/tests/brun/substr-05.txt +++ b/tests/brun/substr-05.txt @@ -1,3 +1,3 @@ brun -c '(substr (q . "abcdefghijkl") 2 5)' '(0 4)' -cost = 131 +cost = 122 "abcd" diff --git a/tests/brun/substr-06.txt b/tests/brun/substr-06.txt index a1a66d46..c2e4de13 100644 --- a/tests/brun/substr-06.txt +++ b/tests/brun/substr-06.txt @@ -1,3 +1,3 @@ brun -c '(substr (q . "abcdefghijkl") 2 5)' '(0 12)' -cost = 131 +cost = 122 "abcdefghijkl" diff --git a/tests/brun/substr-09.txt b/tests/brun/substr-09.txt index b0630991..59ee8f6a 100644 --- a/tests/brun/substr-09.txt +++ b/tests/brun/substr-09.txt @@ -1,3 +1,3 @@ brun -c '(substr (q . "abcdefghijkl") 2 5)' '(10 10)' -cost = 131 +cost = 122 () diff --git a/tests/brun/substr-11.txt b/tests/brun/substr-11.txt index 9972b620..08b046a6 100644 --- a/tests/brun/substr-11.txt +++ b/tests/brun/substr-11.txt @@ -1,3 +1,3 @@ brun -c '(substr (q . "abcdefghijkl") 2 5)' '(1 4)' -cost = 131 +cost = 122 "bcd" diff --git a/tests/brun/substr-12.txt b/tests/brun/substr-12.txt index 253d8d24..a911c061 100644 --- a/tests/brun/substr-12.txt +++ b/tests/brun/substr-12.txt @@ -1,3 +1,3 @@ brun -c '(substr (q . "abcdefghijkl") 2 5)' '(8 12)' -cost = 131 +cost = 122 "ijkl" diff --git a/tests/brun/trace-1.txt b/tests/brun/trace-1.txt index 72fb303f..c00a6917 100644 --- a/tests/brun/trace-1.txt +++ b/tests/brun/trace-1.txt @@ -1,13 +1,7 @@ brun --backend=python -c -v '(+ (q . 10) (f 1))' '(51)' -cost = 860 +cost = 851 61 -(a 2 3) [((+ (q . 10) (f 1)) 51)] => 61 - -3 [((+ (q . 10) (f 1)) 51)] => (51) - -2 [((+ (q . 10) (f 1)) 51)] => (+ (q . 10) (f 1)) - (+ (q . 10) (f 1)) [(51)] => 61 (f 1) [(51)] => 51 diff --git a/tests/brun/trace-2.txt b/tests/brun/trace-2.txt index fb475ec5..abfa7eff 100644 --- a/tests/brun/trace-2.txt +++ b/tests/brun/trace-2.txt @@ -1,11 +1,5 @@ brun --backend=python -c -v '(x)' FAIL: clvm raise () -(a 2 3) [((x))] => (didn't finish) - -3 [((x))] => () - -2 [((x))] => (x) - (x) [()] => (didn't finish) diff --git a/tests/edge-cases/softfork-02.txt b/tests/edge-cases/softfork-02.txt index 78fda8f1..d03dc2a7 100644 --- a/tests/edge-cases/softfork-02.txt +++ b/tests/edge-cases/softfork-02.txt @@ -1,3 +1,3 @@ brun -c '(softfork (q . 1))' -cost = 31 +cost = 22 () diff --git a/tests/edge-cases/softfork-03.txt b/tests/edge-cases/softfork-03.txt index 97e1688b..2d2fbd10 100644 --- a/tests/edge-cases/softfork-03.txt +++ b/tests/edge-cases/softfork-03.txt @@ -1,3 +1,3 @@ brun -c '(softfork (q . 1) (q . 1))' -cost = 51 +cost = 42 () diff --git a/tests/edge-cases/softfork-07.txt b/tests/edge-cases/softfork-07.txt index 3f44ea84..35ae4b3a 100644 --- a/tests/edge-cases/softfork-07.txt +++ b/tests/edge-cases/softfork-07.txt @@ -1,3 +1,3 @@ brun -c '(softfork (q . 128))' -cost = 158 +cost = 149 () diff --git a/tests/unknown-op/unknown-01.txt b/tests/unknown-op/unknown-01.txt index a9acd7bf..1d093fe8 100644 --- a/tests/unknown-op/unknown-01.txt +++ b/tests/unknown-op/unknown-01.txt @@ -1,3 +1,3 @@ brun -c '(0x000 )' -cost = 11 +cost = 2 () diff --git a/tests/unknown-op/unknown-03.txt b/tests/unknown-op/unknown-03.txt index ecd58508..ecb9ea00 100644 --- a/tests/unknown-op/unknown-03.txt +++ b/tests/unknown-op/unknown-03.txt @@ -1,3 +1,3 @@ brun -c '(0x03f )' -cost = 11 +cost = 2 () diff --git a/tests/unknown-op/unknown-05.txt b/tests/unknown-op/unknown-05.txt index 67e06a81..0b434322 100644 --- a/tests/unknown-op/unknown-05.txt +++ b/tests/unknown-op/unknown-05.txt @@ -1,3 +1,3 @@ brun -c '(0x100 )' -cost = 12 +cost = 3 () diff --git a/tests/unknown-op/unknown-07.txt b/tests/unknown-op/unknown-07.txt index 8ac8707a..e381b320 100644 --- a/tests/unknown-op/unknown-07.txt +++ b/tests/unknown-op/unknown-07.txt @@ -1,3 +1,3 @@ brun -c '(0x13f )' -cost = 12 +cost = 3 () diff --git a/tests/unknown-op/unknown-09.txt b/tests/unknown-op/unknown-09.txt index 2f757d67..22f0ecad 100644 --- a/tests/unknown-op/unknown-09.txt +++ b/tests/unknown-op/unknown-09.txt @@ -1,3 +1,3 @@ brun -c '(0xfffeffff00 )' -cost = 4294901770 +cost = 4294901761 () diff --git a/tests/unknown-op/unknown-101.txt b/tests/unknown-op/unknown-101.txt index 274c9c30..650c6b1f 100644 --- a/tests/unknown-op/unknown-101.txt +++ b/tests/unknown-op/unknown-101.txt @@ -1,3 +1,3 @@ brun -c '(0x180 (q . 1) (q . 2) (q . 3))' -cost = 3854 +cost = 3845 () diff --git a/tests/unknown-op/unknown-103.txt b/tests/unknown-op/unknown-103.txt index 0e833628..a25d6d39 100644 --- a/tests/unknown-op/unknown-103.txt +++ b/tests/unknown-op/unknown-103.txt @@ -1,3 +1,3 @@ brun -c '(0x1bf (q . 1) (q . 2) (q . 3))' -cost = 3854 +cost = 3845 () diff --git a/tests/unknown-op/unknown-11.txt b/tests/unknown-op/unknown-11.txt index 46414e77..d9664316 100644 --- a/tests/unknown-op/unknown-11.txt +++ b/tests/unknown-op/unknown-11.txt @@ -1,3 +1,3 @@ brun -c '(0xfffeffff3f )' -cost = 4294901770 +cost = 4294901761 () diff --git a/tests/unknown-op/unknown-113.txt b/tests/unknown-op/unknown-113.txt index e2362ac8..36223b8d 100644 --- a/tests/unknown-op/unknown-113.txt +++ b/tests/unknown-op/unknown-113.txt @@ -1,3 +1,3 @@ brun -c '(0x0c0 (q . 1) (q . 2) (q . 3))' -cost = 626 +cost = 617 () diff --git a/tests/unknown-op/unknown-115.txt b/tests/unknown-op/unknown-115.txt index 8557bbd0..bf3202b9 100644 --- a/tests/unknown-op/unknown-115.txt +++ b/tests/unknown-op/unknown-115.txt @@ -1,3 +1,3 @@ brun -c '(0x0ff (q . 1) (q . 2) (q . 3))' -cost = 626 +cost = 617 () diff --git a/tests/unknown-op/unknown-117.txt b/tests/unknown-op/unknown-117.txt index 360c5c2a..0041c5f7 100644 --- a/tests/unknown-op/unknown-117.txt +++ b/tests/unknown-op/unknown-117.txt @@ -1,3 +1,3 @@ brun -c '(0x1c0 (q . 1) (q . 2) (q . 3))' -cost = 1182 +cost = 1173 () diff --git a/tests/unknown-op/unknown-119.txt b/tests/unknown-op/unknown-119.txt index f2b3ebc9..a8372ca6 100644 --- a/tests/unknown-op/unknown-119.txt +++ b/tests/unknown-op/unknown-119.txt @@ -1,3 +1,3 @@ brun -c '(0x1ff (q . 1) (q . 2) (q . 3))' -cost = 1182 +cost = 1173 () diff --git a/tests/unknown-op/unknown-129.txt b/tests/unknown-op/unknown-129.txt index 09eccd62..f860e23e 100644 --- a/tests/unknown-op/unknown-129.txt +++ b/tests/unknown-op/unknown-129.txt @@ -1,3 +1,3 @@ brun -c '(0x000 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 51 +cost = 42 () diff --git a/tests/unknown-op/unknown-131.txt b/tests/unknown-op/unknown-131.txt index 53fb3ee0..edd98e04 100644 --- a/tests/unknown-op/unknown-131.txt +++ b/tests/unknown-op/unknown-131.txt @@ -1,3 +1,3 @@ brun -c '(0x03f (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 51 +cost = 42 () diff --git a/tests/unknown-op/unknown-133.txt b/tests/unknown-op/unknown-133.txt index c07f6b7e..13357f65 100644 --- a/tests/unknown-op/unknown-133.txt +++ b/tests/unknown-op/unknown-133.txt @@ -1,3 +1,3 @@ brun -c '(0x100 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 52 +cost = 43 () diff --git a/tests/unknown-op/unknown-135.txt b/tests/unknown-op/unknown-135.txt index d507bea5..3e878969 100644 --- a/tests/unknown-op/unknown-135.txt +++ b/tests/unknown-op/unknown-135.txt @@ -1,3 +1,3 @@ brun -c '(0x13f (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 52 +cost = 43 () diff --git a/tests/unknown-op/unknown-137.txt b/tests/unknown-op/unknown-137.txt index 459f9d4a..ad890f17 100644 --- a/tests/unknown-op/unknown-137.txt +++ b/tests/unknown-op/unknown-137.txt @@ -1,3 +1,3 @@ brun -c '(0xfffeffff00 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 4294901810 +cost = 4294901801 () diff --git a/tests/unknown-op/unknown-139.txt b/tests/unknown-op/unknown-139.txt index dd098857..50b372df 100644 --- a/tests/unknown-op/unknown-139.txt +++ b/tests/unknown-op/unknown-139.txt @@ -1,3 +1,3 @@ brun -c '(0xfffeffff3f (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 4294901810 +cost = 4294901801 () diff --git a/tests/unknown-op/unknown-145.txt b/tests/unknown-op/unknown-145.txt index a9d3c689..518b5cf4 100644 --- a/tests/unknown-op/unknown-145.txt +++ b/tests/unknown-op/unknown-145.txt @@ -1,3 +1,3 @@ brun -c '(0x040 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 1065 +cost = 1056 () diff --git a/tests/unknown-op/unknown-147.txt b/tests/unknown-op/unknown-147.txt index ddf1fd47..dcbd4a2f 100644 --- a/tests/unknown-op/unknown-147.txt +++ b/tests/unknown-op/unknown-147.txt @@ -1,3 +1,3 @@ brun -c '(0x07f (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 1065 +cost = 1056 () diff --git a/tests/unknown-op/unknown-149.txt b/tests/unknown-op/unknown-149.txt index 22d87d51..8f151401 100644 --- a/tests/unknown-op/unknown-149.txt +++ b/tests/unknown-op/unknown-149.txt @@ -1,3 +1,3 @@ brun -c '(0x140 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 2080 +cost = 2071 () diff --git a/tests/unknown-op/unknown-151.txt b/tests/unknown-op/unknown-151.txt index 84d7e819..e67f5f65 100644 --- a/tests/unknown-op/unknown-151.txt +++ b/tests/unknown-op/unknown-151.txt @@ -1,3 +1,3 @@ brun -c '(0x17f (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 2080 +cost = 2071 () diff --git a/tests/unknown-op/unknown-161.txt b/tests/unknown-op/unknown-161.txt index ff91c465..320ce523 100644 --- a/tests/unknown-op/unknown-161.txt +++ b/tests/unknown-op/unknown-161.txt @@ -1,3 +1,3 @@ brun -c '(0x080 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 1582 +cost = 1573 () diff --git a/tests/unknown-op/unknown-163.txt b/tests/unknown-op/unknown-163.txt index 2e146c14..2f842052 100644 --- a/tests/unknown-op/unknown-163.txt +++ b/tests/unknown-op/unknown-163.txt @@ -1,3 +1,3 @@ brun -c '(0x0bf (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 1582 +cost = 1573 () diff --git a/tests/unknown-op/unknown-165.txt b/tests/unknown-op/unknown-165.txt index 58261d6b..cc5a8f8e 100644 --- a/tests/unknown-op/unknown-165.txt +++ b/tests/unknown-op/unknown-165.txt @@ -1,3 +1,3 @@ brun -c '(0x180 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 3114 +cost = 3105 () diff --git a/tests/unknown-op/unknown-167.txt b/tests/unknown-op/unknown-167.txt index 609daa9b..919f3943 100644 --- a/tests/unknown-op/unknown-167.txt +++ b/tests/unknown-op/unknown-167.txt @@ -1,3 +1,3 @@ brun -c '(0x1bf (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 3114 +cost = 3105 () diff --git a/tests/unknown-op/unknown-17.txt b/tests/unknown-op/unknown-17.txt index 4ed63226..af43b7c9 100644 --- a/tests/unknown-op/unknown-17.txt +++ b/tests/unknown-op/unknown-17.txt @@ -1,3 +1,3 @@ brun -c '(0x040 )' -cost = 109 +cost = 100 () diff --git a/tests/unknown-op/unknown-177.txt b/tests/unknown-op/unknown-177.txt index cd9182d8..775b0e15 100644 --- a/tests/unknown-op/unknown-177.txt +++ b/tests/unknown-op/unknown-177.txt @@ -1,3 +1,3 @@ brun -c '(0x0c0 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 738 +cost = 729 () diff --git a/tests/unknown-op/unknown-179.txt b/tests/unknown-op/unknown-179.txt index 14055114..c07d679e 100644 --- a/tests/unknown-op/unknown-179.txt +++ b/tests/unknown-op/unknown-179.txt @@ -1,3 +1,3 @@ brun -c '(0x0ff (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 738 +cost = 729 () diff --git a/tests/unknown-op/unknown-181.txt b/tests/unknown-op/unknown-181.txt index 35a11a3b..7b693363 100644 --- a/tests/unknown-op/unknown-181.txt +++ b/tests/unknown-op/unknown-181.txt @@ -1,3 +1,3 @@ brun -c '(0x1c0 (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 1426 +cost = 1417 () diff --git a/tests/unknown-op/unknown-183.txt b/tests/unknown-op/unknown-183.txt index adff3f52..8a926922 100644 --- a/tests/unknown-op/unknown-183.txt +++ b/tests/unknown-op/unknown-183.txt @@ -1,3 +1,3 @@ brun -c '(0x1ff (q . 0x101010101010101010101010101010101010101010101010101010101010101010101010101010101010101101010101010101010101010101010101010101010101010101010101010101010101010101010101010101) (q . 0x101010101))' -cost = 1426 +cost = 1417 () diff --git a/tests/unknown-op/unknown-19.txt b/tests/unknown-op/unknown-19.txt index 334dec6f..232c6c26 100644 --- a/tests/unknown-op/unknown-19.txt +++ b/tests/unknown-op/unknown-19.txt @@ -1,3 +1,3 @@ brun -c '(0x07f )' -cost = 109 +cost = 100 () diff --git a/tests/unknown-op/unknown-193.txt b/tests/unknown-op/unknown-193.txt index 55b45ad8..1a02a518 100644 --- a/tests/unknown-op/unknown-193.txt +++ b/tests/unknown-op/unknown-193.txt @@ -1,3 +1,3 @@ brun -c '(0x000 (q . 1) (q . 2) (q . (1 10 20)))' -cost = 71 +cost = 62 () diff --git a/tests/unknown-op/unknown-195.txt b/tests/unknown-op/unknown-195.txt index 2aa2877f..9597a16c 100644 --- a/tests/unknown-op/unknown-195.txt +++ b/tests/unknown-op/unknown-195.txt @@ -1,3 +1,3 @@ brun -c '(0x03f (q . 1) (q . 2) (q . (1 10 20)))' -cost = 71 +cost = 62 () diff --git a/tests/unknown-op/unknown-197.txt b/tests/unknown-op/unknown-197.txt index 4f003ff0..53275189 100644 --- a/tests/unknown-op/unknown-197.txt +++ b/tests/unknown-op/unknown-197.txt @@ -1,3 +1,3 @@ brun -c '(0x100 (q . 1) (q . 2) (q . (1 10 20)))' -cost = 72 +cost = 63 () diff --git a/tests/unknown-op/unknown-199.txt b/tests/unknown-op/unknown-199.txt index 7f5aad9d..0eedf00d 100644 --- a/tests/unknown-op/unknown-199.txt +++ b/tests/unknown-op/unknown-199.txt @@ -1,3 +1,3 @@ brun -c '(0x13f (q . 1) (q . 2) (q . (1 10 20)))' -cost = 72 +cost = 63 () diff --git a/tests/unknown-op/unknown-201.txt b/tests/unknown-op/unknown-201.txt index 44715965..fbb9cd2b 100644 --- a/tests/unknown-op/unknown-201.txt +++ b/tests/unknown-op/unknown-201.txt @@ -1,3 +1,3 @@ brun -c '(0xfffeffff00 (q . 1) (q . 2) (q . (1 10 20)))' -cost = 4294901830 +cost = 4294901821 () diff --git a/tests/unknown-op/unknown-203.txt b/tests/unknown-op/unknown-203.txt index 7d57e7c9..f1512e08 100644 --- a/tests/unknown-op/unknown-203.txt +++ b/tests/unknown-op/unknown-203.txt @@ -1,3 +1,3 @@ brun -c '(0xfffeffff3f (q . 1) (q . 2) (q . (1 10 20)))' -cost = 4294901830 +cost = 4294901821 () diff --git a/tests/unknown-op/unknown-21.txt b/tests/unknown-op/unknown-21.txt index c5756cf1..c9352e92 100644 --- a/tests/unknown-op/unknown-21.txt +++ b/tests/unknown-op/unknown-21.txt @@ -1,3 +1,3 @@ brun -c '(0x140 )' -cost = 208 +cost = 199 () diff --git a/tests/unknown-op/unknown-23.txt b/tests/unknown-op/unknown-23.txt index 8f788761..9e166da9 100644 --- a/tests/unknown-op/unknown-23.txt +++ b/tests/unknown-op/unknown-23.txt @@ -1,3 +1,3 @@ brun -c '(0x17f )' -cost = 208 +cost = 199 () diff --git a/tests/unknown-op/unknown-33.txt b/tests/unknown-op/unknown-33.txt index 3deb1eaa..e9cbc8e7 100644 --- a/tests/unknown-op/unknown-33.txt +++ b/tests/unknown-op/unknown-33.txt @@ -1,3 +1,3 @@ brun -c '(0x080 )' -cost = 102 +cost = 93 () diff --git a/tests/unknown-op/unknown-35.txt b/tests/unknown-op/unknown-35.txt index 07a5c87d..bdbf8eef 100644 --- a/tests/unknown-op/unknown-35.txt +++ b/tests/unknown-op/unknown-35.txt @@ -1,3 +1,3 @@ brun -c '(0x0bf )' -cost = 102 +cost = 93 () diff --git a/tests/unknown-op/unknown-37.txt b/tests/unknown-op/unknown-37.txt index 3b240198..ec269524 100644 --- a/tests/unknown-op/unknown-37.txt +++ b/tests/unknown-op/unknown-37.txt @@ -1,3 +1,3 @@ brun -c '(0x180 )' -cost = 194 +cost = 185 () diff --git a/tests/unknown-op/unknown-39.txt b/tests/unknown-op/unknown-39.txt index 240eff50..de984cf2 100644 --- a/tests/unknown-op/unknown-39.txt +++ b/tests/unknown-op/unknown-39.txt @@ -1,3 +1,3 @@ brun -c '(0x1bf )' -cost = 194 +cost = 185 () diff --git a/tests/unknown-op/unknown-49.txt b/tests/unknown-op/unknown-49.txt index 0f6bb0e8..3b79004c 100644 --- a/tests/unknown-op/unknown-49.txt +++ b/tests/unknown-op/unknown-49.txt @@ -1,3 +1,3 @@ brun -c '(0x0c0 )' -cost = 152 +cost = 143 () diff --git a/tests/unknown-op/unknown-51.txt b/tests/unknown-op/unknown-51.txt index 288ddbc5..967d7487 100644 --- a/tests/unknown-op/unknown-51.txt +++ b/tests/unknown-op/unknown-51.txt @@ -1,3 +1,3 @@ brun -c '(0x0ff )' -cost = 152 +cost = 143 () diff --git a/tests/unknown-op/unknown-53.txt b/tests/unknown-op/unknown-53.txt index c19a0fc1..31d49b98 100644 --- a/tests/unknown-op/unknown-53.txt +++ b/tests/unknown-op/unknown-53.txt @@ -1,3 +1,3 @@ brun -c '(0x1c0 )' -cost = 294 +cost = 285 () diff --git a/tests/unknown-op/unknown-55.txt b/tests/unknown-op/unknown-55.txt index 15ced385..b5417889 100644 --- a/tests/unknown-op/unknown-55.txt +++ b/tests/unknown-op/unknown-55.txt @@ -1,3 +1,3 @@ brun -c '(0x1ff )' -cost = 294 +cost = 285 () diff --git a/tests/unknown-op/unknown-65.txt b/tests/unknown-op/unknown-65.txt index 7b91501f..61068757 100644 --- a/tests/unknown-op/unknown-65.txt +++ b/tests/unknown-op/unknown-65.txt @@ -1,3 +1,3 @@ brun -c '(0x000 (q . 1) (q . 2) (q . 3))' -cost = 71 +cost = 62 () diff --git a/tests/unknown-op/unknown-67.txt b/tests/unknown-op/unknown-67.txt index 4c7ec431..65157c0f 100644 --- a/tests/unknown-op/unknown-67.txt +++ b/tests/unknown-op/unknown-67.txt @@ -1,3 +1,3 @@ brun -c '(0x03f (q . 1) (q . 2) (q . 3))' -cost = 71 +cost = 62 () diff --git a/tests/unknown-op/unknown-69.txt b/tests/unknown-op/unknown-69.txt index 203247a5..cdb2ede7 100644 --- a/tests/unknown-op/unknown-69.txt +++ b/tests/unknown-op/unknown-69.txt @@ -1,3 +1,3 @@ brun -c '(0x100 (q . 1) (q . 2) (q . 3))' -cost = 72 +cost = 63 () diff --git a/tests/unknown-op/unknown-71.txt b/tests/unknown-op/unknown-71.txt index 68fc679d..d719aef4 100644 --- a/tests/unknown-op/unknown-71.txt +++ b/tests/unknown-op/unknown-71.txt @@ -1,3 +1,3 @@ brun -c '(0x13f (q . 1) (q . 2) (q . 3))' -cost = 72 +cost = 63 () diff --git a/tests/unknown-op/unknown-73.txt b/tests/unknown-op/unknown-73.txt index 7132b6c9..83145e26 100644 --- a/tests/unknown-op/unknown-73.txt +++ b/tests/unknown-op/unknown-73.txt @@ -1,3 +1,3 @@ brun -c '(0xfffeffff00 (q . 1) (q . 2) (q . 3))' -cost = 4294901830 +cost = 4294901821 () diff --git a/tests/unknown-op/unknown-75.txt b/tests/unknown-op/unknown-75.txt index c0ee4840..4b5e32b0 100644 --- a/tests/unknown-op/unknown-75.txt +++ b/tests/unknown-op/unknown-75.txt @@ -1,3 +1,3 @@ brun -c '(0xfffeffff3f (q . 1) (q . 2) (q . 3))' -cost = 4294901830 +cost = 4294901821 () diff --git a/tests/unknown-op/unknown-81.txt b/tests/unknown-op/unknown-81.txt index 4441d3fd..2b76f7dc 100644 --- a/tests/unknown-op/unknown-81.txt +++ b/tests/unknown-op/unknown-81.txt @@ -1,3 +1,3 @@ brun -c '(0x040 (q . 1) (q . 2) (q . 3))' -cost = 1138 +cost = 1129 () diff --git a/tests/unknown-op/unknown-83.txt b/tests/unknown-op/unknown-83.txt index 10f734cb..bf25c0ba 100644 --- a/tests/unknown-op/unknown-83.txt +++ b/tests/unknown-op/unknown-83.txt @@ -1,3 +1,3 @@ brun -c '(0x07f (q . 1) (q . 2) (q . 3))' -cost = 1138 +cost = 1129 () diff --git a/tests/unknown-op/unknown-85.txt b/tests/unknown-op/unknown-85.txt index b4efeb05..15c10617 100644 --- a/tests/unknown-op/unknown-85.txt +++ b/tests/unknown-op/unknown-85.txt @@ -1,3 +1,3 @@ brun -c '(0x140 (q . 1) (q . 2) (q . 3))' -cost = 2206 +cost = 2197 () diff --git a/tests/unknown-op/unknown-87.txt b/tests/unknown-op/unknown-87.txt index b2a06a81..9fadccc1 100644 --- a/tests/unknown-op/unknown-87.txt +++ b/tests/unknown-op/unknown-87.txt @@ -1,3 +1,3 @@ brun -c '(0x17f (q . 1) (q . 2) (q . 3))' -cost = 2206 +cost = 2197 () diff --git a/tests/unknown-op/unknown-97.txt b/tests/unknown-op/unknown-97.txt index 16dc883e..24517bb6 100644 --- a/tests/unknown-op/unknown-97.txt +++ b/tests/unknown-op/unknown-97.txt @@ -1,3 +1,3 @@ brun -c '(0x080 (q . 1) (q . 2) (q . 3))' -cost = 1962 +cost = 1953 () diff --git a/tests/unknown-op/unknown-99.txt b/tests/unknown-op/unknown-99.txt index 9ead875b..427c66d0 100644 --- a/tests/unknown-op/unknown-99.txt +++ b/tests/unknown-op/unknown-99.txt @@ -1,3 +1,3 @@ brun -c '(0x0bf (q . 1) (q . 2) (q . 3))' -cost = 1962 +cost = 1953 ()