Skip to content

Commit

Permalink
update the expected cost from brun calls in test cases. To accomodate…
Browse files Browse the repository at this point in the history
… for the change in how brun reports cost (#112)
  • Loading branch information
arvidn authored Mar 10, 2022
1 parent 5abb2f5 commit fa1ba10
Show file tree
Hide file tree
Showing 277 changed files with 276 additions and 288 deletions.
2 changes: 1 addition & 1 deletion tests/brun/add-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(+ (q . 7) (q . 1))'
cost = 805
cost = 796
8
2 changes: 1 addition & 1 deletion tests/brun/add-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(+ (q . 1))'
cost = 462
cost = 453
1
2 changes: 1 addition & 1 deletion tests/brun/add-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(+ ())'
cost = 473
cost = 464
()
2 changes: 1 addition & 1 deletion tests/brun/add-4.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(+)'
cost = 109
cost = 100
()
2 changes: 1 addition & 1 deletion tests/brun/add-5.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(+ (q . 0x0000000000000000000000000000000000000000000000000000000000000000000000000000000007) (q . 0x000000000000000000000000000000000000000000000000000000000000000000000001))'
cost = 1030
cost = 1021
8
2 changes: 1 addition & 1 deletion tests/brun/all-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(all (q . 1))'
cost = 530
cost = 521
1
2 changes: 1 addition & 1 deletion tests/brun/all-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(all (q . 1) (q . (foo)))'
cost = 850
cost = 841
1
2 changes: 1 addition & 1 deletion tests/brun/all-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(all (q . 1) (q . 1) (q . 0))'
cost = 1170
cost = 1161
()
2 changes: 1 addition & 1 deletion tests/brun/any-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(any (q . 1))'
cost = 530
cost = 521
1
2 changes: 1 addition & 1 deletion tests/brun/any-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(any (q . 0) (q . (foo)))'
cost = 850
cost = 841
1
2 changes: 1 addition & 1 deletion tests/brun/any-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(any (q . 0) (q . 0))'
cost = 850
cost = 841
()
2 changes: 1 addition & 1 deletion tests/brun/apply-00.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(a (q . 2) (q . (3 4 5)))'
cost = 188
cost = 179
3
2 changes: 1 addition & 1 deletion tests/brun/apply-01.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(a (q . 5) (q . (3 4 5)))'
cost = 192
cost = 183
4
2 changes: 1 addition & 1 deletion tests/brun/apply-02.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(a (q . 11) 1)' '(5 6 7 8 9)'
cost = 220
cost = 211
7
2 changes: 1 addition & 1 deletion tests/brun/apply-06.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(a (q . (+ 2 5)) (q . (20 30)))'
cost = 996
cost = 987
50
2 changes: 1 addition & 1 deletion tests/brun/apply-07.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun --strict -c -n '(a (q . q) (q . (2 3 4)))'
cost = 184
cost = 175
(2 3 4)
2 changes: 1 addition & 1 deletion tests/brun/args-00.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 0 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 53
cost = 44
()
2 changes: 1 addition & 1 deletion tests/brun/args-01.txt
Original file line number Diff line number Diff line change
@@ -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)
2 changes: 1 addition & 1 deletion tests/brun/args-02.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 2 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 57
cost = 48
((8 . 12) 10 . 14)
2 changes: 1 addition & 1 deletion tests/brun/args-03.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 3 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 57
cost = 48
((9 . 13) 11 . 15)
2 changes: 1 addition & 1 deletion tests/brun/args-04.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 4 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 61
cost = 52
(8 . 12)
2 changes: 1 addition & 1 deletion tests/brun/args-05.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 5 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 61
cost = 52
(9 . 13)
2 changes: 1 addition & 1 deletion tests/brun/args-06.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 6 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 61
cost = 52
(10 . 14)
2 changes: 1 addition & 1 deletion tests/brun/args-07.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 7 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 61
cost = 52
(11 . 15)
2 changes: 1 addition & 1 deletion tests/brun/args-08.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 8 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 65
cost = 56
8
2 changes: 1 addition & 1 deletion tests/brun/args-09.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 9 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 65
cost = 56
9
2 changes: 1 addition & 1 deletion tests/brun/args-10.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 10 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 65
cost = 56
10
2 changes: 1 addition & 1 deletion tests/brun/args-11.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 11 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 65
cost = 56
11
2 changes: 1 addition & 1 deletion tests/brun/args-12.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 12 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 65
cost = 56
12
2 changes: 1 addition & 1 deletion tests/brun/args-13.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 13 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 65
cost = 56
13
2 changes: 1 addition & 1 deletion tests/brun/args-14.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 14 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 65
cost = 56
14
2 changes: 1 addition & 1 deletion tests/brun/args-15.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c 15 '(((8 . 12) . (10 . 14)) . ((9 . 13) . (11 . 15)))'
cost = 65
cost = 56
15
2 changes: 1 addition & 1 deletion tests/brun/ash-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(ash (q . 7) (q . 1))'
cost = 662
cost = 653
14
2 changes: 1 addition & 1 deletion tests/brun/ash-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(ash (q . 7) (q . 100))'
cost = 818
cost = 809
0x70000000000000000000000000
2 changes: 1 addition & 1 deletion tests/brun/ash-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(ash (q . -7) (q . 100))'
cost = 818
cost = 809
0x90000000000000000000000000
2 changes: 1 addition & 1 deletion tests/brun/ash-4.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(ash (q . 0x90000000000000000000000000) (q . -100))'
cost = 698
cost = 689
-7
2 changes: 1 addition & 1 deletion tests/brun/ash-8.txt

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion tests/brun/ash-9.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(ash (q . 500) (q . -65535))'
cost = 652
cost = 643
()
2 changes: 1 addition & 1 deletion tests/brun/concat-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(concat)'
cost = 152
cost = 143
()
2 changes: 1 addition & 1 deletion tests/brun/concat-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(concat (q . foo))'
cost = 346
cost = 337
"foo"
2 changes: 1 addition & 1 deletion tests/brun/concat-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(concat (q . foo) (q . bar))'
cost = 540
cost = 531
"foobar"
2 changes: 1 addition & 1 deletion tests/brun/cons-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(c (q . 100) (q . ()))'
cost = 100
cost = 91
(100)
2 changes: 1 addition & 1 deletion tests/brun/cons-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(c (q . 100) (q . (200 300 400)))'
cost = 100
cost = 91
(100 200 300 400)
2 changes: 1 addition & 1 deletion tests/brun/cons-4.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(c (q . 100) (q . ((500 (200 300 400)))))'
cost = 100
cost = 91
(100 (500 (200 300 400)))
2 changes: 1 addition & 1 deletion tests/brun/div-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(/ 2 5)' '(80001 73)'
cost = 1134
cost = 1125
1095
2 changes: 1 addition & 1 deletion tests/brun/div-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(/ 2 5)' '(-80001 73)'
cost = 1134
cost = 1125
-1096
2 changes: 1 addition & 1 deletion tests/brun/div-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(/ 2 5)' '(80001 -73)'
cost = 1134
cost = 1125
-1096
2 changes: 1 addition & 1 deletion tests/brun/div-5.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(/ (q . 0x00000000000000000000000000000000000000000000000000000000a) (q . 0x000000000000000000000000000000000000000000000000000000000000000000000005))'
cost = 1308
cost = 1299
2
2 changes: 1 addition & 1 deletion tests/brun/div-6.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(/ (q . 3) (q . 10))'
cost = 1046
cost = 1037
()
2 changes: 1 addition & 1 deletion tests/brun/div-7.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(/ (q . -3) (q . 10))'
cost = 1046
cost = 1037
()
2 changes: 1 addition & 1 deletion tests/brun/div-8.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(/ (q . 3) (q . -10))'
cost = 1046
cost = 1037
()
2 changes: 1 addition & 1 deletion tests/brun/div-9.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(/ (q . -3) (q . -10))'
cost = 1046
cost = 1037
()
2 changes: 1 addition & 1 deletion tests/brun/divmod-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(divmod 2 5)' '(80001 73)'
cost = 1280
cost = 1271
(1095 . 66)
2 changes: 1 addition & 1 deletion tests/brun/divmod-10.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(divmod 2 5)' '(80000 -10)'
cost = 1270
cost = 1261
(-8000)
2 changes: 1 addition & 1 deletion tests/brun/divmod-11.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(divmod (q . 0x0000000000000000000000000000000000000000000000000000000000000013881) (q . 0x0000000000000000000000000000000000000000000000000000049))'
cost = 1568
cost = 1559
(1095 . 66)
2 changes: 1 addition & 1 deletion tests/brun/divmod-12.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . -10) (q . -7))'
cost = 1198
cost = 1189
(1 . -3)
2 changes: 1 addition & 1 deletion tests/brun/divmod-13.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . -10) (q . 7))'
cost = 1198
cost = 1189
(-2 . 4)
2 changes: 1 addition & 1 deletion tests/brun/divmod-14.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . 10) (q . -7))'
cost = 1198
cost = 1189
(-2 . -4)
2 changes: 1 addition & 1 deletion tests/brun/divmod-15.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . 10) (q . 7))'
cost = 1198
cost = 1189
(1 . 3)
2 changes: 1 addition & 1 deletion tests/brun/divmod-16.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . -10) (q . -70))'
cost = 1188
cost = 1179
(() . -10)
2 changes: 1 addition & 1 deletion tests/brun/divmod-17.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . -10) (q . 70))'
cost = 1198
cost = 1189
(-1 . 60)
2 changes: 1 addition & 1 deletion tests/brun/divmod-18.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . 10) (q . -70))'
cost = 1198
cost = 1189
(-1 . -60)
2 changes: 1 addition & 1 deletion tests/brun/divmod-19.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . 10) (q . 70))'
cost = 1188
cost = 1179
(() . 10)
2 changes: 1 addition & 1 deletion tests/brun/divmod-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(divmod 2 5)' '(-80001 73)'
cost = 1280
cost = 1271
(-1096 . 7)
2 changes: 1 addition & 1 deletion tests/brun/divmod-20.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . -100) (q . -7))'
cost = 1198
cost = 1189
(14 . -2)
2 changes: 1 addition & 1 deletion tests/brun/divmod-21.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . -100) (q . 7))'
cost = 1198
cost = 1189
(-15 . 5)
2 changes: 1 addition & 1 deletion tests/brun/divmod-22.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . 100) (q . -7))'
cost = 1198
cost = 1189
(-15 . -5)
2 changes: 1 addition & 1 deletion tests/brun/divmod-23.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . 100) (q . 7))'
cost = 1198
cost = 1189
(14 . 2)
2 changes: 1 addition & 1 deletion tests/brun/divmod-24.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . -100) (q . -70))'
cost = 1198
cost = 1189
(1 . -30)
2 changes: 1 addition & 1 deletion tests/brun/divmod-25.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . -100) (q . 70))'
cost = 1198
cost = 1189
(-2 . 40)
2 changes: 1 addition & 1 deletion tests/brun/divmod-26.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . 100) (q . -70))'
cost = 1198
cost = 1189
(-2 . -40)
2 changes: 1 addition & 1 deletion tests/brun/divmod-27.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -n -c '(divmod (q . 100) (q . 70))'
cost = 1198
cost = 1189
(1 . 30)
2 changes: 1 addition & 1 deletion tests/brun/divmod-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(divmod 2 5)' '(80001 -73)'
cost = 1280
cost = 1271
(-1096 . -7)
2 changes: 1 addition & 1 deletion tests/brun/divmod-4.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(divmod 2 5)' '(-80001 -73)'
cost = 1280
cost = 1271
(1095 . -66)
2 changes: 1 addition & 1 deletion tests/brun/divmod-8.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(divmod 2 5)' '(80000 10)'
cost = 1270
cost = 1261
(8000)
2 changes: 1 addition & 1 deletion tests/brun/divmod-9.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '(divmod 2 5)' '(-80000 10)'
cost = 1270
cost = 1261
(-8000)
2 changes: 1 addition & 1 deletion tests/brun/double-cons-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '((+) 1 2 3 4)'
cost = 1500
cost = 1491
10
2 changes: 1 addition & 1 deletion tests/brun/double-cons-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '((*) 1 2 3 4)'
cost = 2892
cost = 2883
24
2 changes: 1 addition & 1 deletion tests/brun/env-1.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '1' '(100)'
cost = 53
cost = 44
(100)
2 changes: 1 addition & 1 deletion tests/brun/env-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '1' '(990)'
cost = 53
cost = 44
(990)
2 changes: 1 addition & 1 deletion tests/brun/env-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
brun -c '1'
cost = 53
cost = 44
()
Loading

0 comments on commit fa1ba10

Please sign in to comment.