Skip to content

Commit

Permalink
delete old test code
Browse files Browse the repository at this point in the history
  • Loading branch information
@tjjfvi
tjjfvi committed Mar 27, 2024
1 parent fee98fb commit c06f7e2
Show file tree
Hide file tree
Showing 32 changed files with 63 additions and 67 deletions.
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@alloc_big_tree.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 29
- DREF : 29
- OPER : 0
run:
RWTS : 20_452
RWTS : 53_230
- ANNI : 4_097
- COMM : 16_355
- ERAS : 0
- DREF : 0
- DREF : 32_778
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@alloc_small_tree.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 34
- DREF : 23
- OPER : 0
run:
RWTS : 63
RWTS : 86
- ANNI : 33
- COMM : 13
- ERAS : 17
- DREF : 0
- DREF : 23
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 5
- DREF : 5
- OPER : 0
run:
RWTS : 4
RWTS : 18
- ANNI : 4
- COMM : 0
- ERAS : 0
- DREF : 0
- DREF : 14
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@chained_ops.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 0
- DREF : 0
- OPER : 0
run:
RWTS : 26
RWTS : 28
- ANNI : 2
- COMM : 4
- ERAS : 0
- DREF : 0
- DREF : 2
- OPER : 20
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@church_encoding__church.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 24
- DREF : 12
- OPER : 0
run:
RWTS : 14
RWTS : 48
- ANNI : 13
- COMM : 1
- ERAS : 0
- DREF : 0
- DREF : 34
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@church_exp.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 54
- DREF : 54
- OPER : 0
run:
RWTS : 781
RWTS : 1_948
- ANNI : 401
- COMM : 380
- ERAS : 0
- DREF : 0
- DREF : 1_167
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@church_mul.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 2
- DREF : 2
- OPER : 0
run:
RWTS : 44
RWTS : 167
- ANNI : 25
- COMM : 19
- ERAS : 0
- DREF : 0
- DREF : 123
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@dec_bits.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 99
- DREF : 59
- OPER : 0
run:
RWTS : 61_375
RWTS : 71_625
- ANNI : 40_910
- COMM : 11
- ERAS : 20_454
- DREF : 0
- DREF : 10_250
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@dec_bits_tree.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 17_974
- DREF : 2_627
- OPER : 0
run:
RWTS : 806
RWTS : 1_645
- ANNI : 383
- COMM : 296
- ERAS : 127
- DREF : 0
- DREF : 839
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@heavy_pre_reduction.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 53_147
- DREF : 54
- OPER : 0
run:
RWTS : 0
RWTS : 2
- ANNI : 0
- COMM : 0
- ERAS : 0
- DREF : 0
- DREF : 2
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@lambda_calculus__hoas.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 225
- DREF : 116
- OPER : 0
run:
RWTS : 483
RWTS : 598
- ANNI : 331
- COMM : 11
- ERAS : 141
- DREF : 0
- DREF : 115
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@list_put_got.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 613
- DREF : 592
- OPER : 0
run:
RWTS : 96
RWTS : 4_188
- ANNI : 96
- COMM : 0
- ERAS : 0
- DREF : 0
- DREF : 4_092
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 0
- DREF : 0
- OPER : 0
run:
RWTS : 3
RWTS : 8
- ANNI : 2
- COMM : 0
- ERAS : 1
- DREF : 0
- DREF : 5
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@machine_u32__num_add.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 1
- DREF : 1
- OPER : 0
run:
RWTS : 3
RWTS : 6
- ANNI : 2
- COMM : 0
- ERAS : 0
- DREF : 0
- DREF : 3
- OPER : 1
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@machine_u32__num_match.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 2
- DREF : 1
- OPER : 0
run:
RWTS : 5
RWTS : 8
- ANNI : 3
- COMM : 0
- ERAS : 1
- DREF : 0
- DREF : 3
- OPER : 1
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@neg_fusion.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 83
- DREF : 34
- OPER : 0
run:
RWTS : 72
RWTS : 81
- ANNI : 43
- COMM : 29
- ERAS : 0
- DREF : 0
- DREF : 9
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 8
- DREF : 8
- OPER : 0
run:
RWTS : 44
RWTS : 102
- ANNI : 39
- COMM : 1
- ERAS : 4
- DREF : 0
- DREF : 58
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@sort__bitonic__bitonic_sort_lam.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 130
- DREF : 78
- OPER : 0
run:
RWTS : 1_353_696
RWTS : 1_563_105
- ANNI : 944_620
- COMM : 96_766
- ERAS : 221_691
- DREF : 0
- DREF : 209_409
- OPER : 90_619
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@sort__merge__merge_sort.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 53
- DREF : 32
- OPER : 0
run:
RWTS : 385
RWTS : 438
- ANNI : 48
- COMM : 242
- ERAS : 79
- DREF : 0
- DREF : 53
- OPER : 16
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_ctr.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 150
- DREF : 87
- OPER : 0
run:
RWTS : 865_075_208
RWTS : 988_282_897
- ANNI : 549_453_814
- COMM : 53_477_380
- ERAS : 203_423_749
- DREF : 0
- DREF : 123_207_689
- OPER : 58_720_265
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@sort__radix__radix_sort_lam.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 153
- DREF : 90
- OPER : 0
run:
RWTS : 962_592_766
RWTS : 1_134_559_233
- ANNI : 622_854_123
- COMM : 28_311_560
- ERAS : 251_658_239
- DREF : 0
- DREF : 171_966_467
- OPER : 59_768_844
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__all_tree.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 32
- DREF : 19
- OPER : 0
run:
RWTS : 452_984_814
RWTS : 503_316_468
- ANNI : 218_103_801
- COMM : 83_886_075
- ERAS : 117_440_507
- DREF : 0
- DREF : 50_331_654
- OPER : 33_554_431
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__apelacion.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 33_000_035
- DREF : 5_000_010
- OPER : 6_000_003
run:
RWTS : 571
RWTS : 637
- ANNI : 191
- COMM : 63
- ERAS : 127
- DREF : 0
- DREF : 66
- OPER : 190
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__boom.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 24
- DREF : 24
- OPER : 0
run:
RWTS : 117_440_667
RWTS : 134_217_907
- ANNI : 33_554_556
- COMM : 67_108_895
- ERAS : 16_777_216
- DREF : 0
- DREF : 16_777_240
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__burn.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 18_350_068
- DREF : 2_621_491
- OPER : 0
run:
RWTS : 87
RWTS : 211
- ANNI : 47
- COMM : 25
- ERAS : 15
- DREF : 0
- DREF : 124
- OPER : 0
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__fib_rec.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 13
- DREF : 7
- OPER : 0
run:
RWTS : 24_672_036
RWTS : 29_028_655
- ANNI : 10_573_730
- COMM : 2_178_308
- ERAS : 5_702_885
- DREF : 0
- DREF : 4_356_619
- OPER : 6_217_113
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__sum_rec.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 13
- DREF : 6
- OPER : 0
run:
RWTS : 603_979_771
RWTS : 671_088_637
- ANNI : 201_326_591
- COMM : 67_108_863
- ERAS : 134_217_727
- DREF : 0
- DREF : 67_108_866
- OPER : 201_326_590
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tail.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 6
- DREF : 3
- OPER : 0
run:
RWTS : 80_000_005
RWTS : 90_000_008
- ANNI : 30_000_003
- COMM : 20_000_000
- ERAS : 10_000_001
- DREF : 0
- DREF : 10_000_003
- OPER : 20_000_001
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__sum_tree.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 30
- DREF : 16
- OPER : 0
run:
RWTS : 402_653_169
RWTS : 436_207_603
- ANNI : 167_772_156
- COMM : 83_886_075
- ERAS : 100_663_292
- DREF : 0
- DREF : 33_554_434
- OPER : 50_331_646
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@stress_tests__tuple_rots.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 19
- DREF : 8
- OPER : 0
run:
RWTS : 34_000_015
RWTS : 40_000_037
- ANNI : 28_000_012
- COMM : 2_000_000
- ERAS : 2_000_002
- DREF : 0
- DREF : 6_000_022
- OPER : 2_000_001
4 changes: 2 additions & 2 deletions tests/snapshots/tests__pre_reduce_run@very_large.hvmc.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ RWTS : 0
- DREF : 0
- OPER : 0
run:
RWTS : 0
RWTS : 32_002
- ANNI : 0
- COMM : 0
- ERAS : 0
- DREF : 0
- DREF : 32_002
- OPER : 0
6 changes: 1 addition & 5 deletions tests/tests.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -99,14 +99,10 @@ fn test_pre_reduce_run(path: &str, mut book: Book) {
io::stdout().flush().unwrap();

let host = hvmc::stdlib::create_host(&book);
let Some((mut rwts, net)) = execute_host(host) else {
let Some((rwts, net)) = execute_host(host) else {
assert_snapshot!(show_rewrites(&pre_stats.rewrites));
return;
};
// Don't take into account deref rewrites
// because expand() is terrible.
// Remove when #73 is merged.
rwts.dref = 0;

let output = format!("{}\npre-reduce:\n{}run:\n{}", net, show_rewrites(&pre_stats.rewrites), show_rewrites(&rwts));
assert_snapshot!(output);
Expand Down

0 comments on commit c06f7e2

Please sign in to comment.