search

ZJU-PPL / lab-3-submit

0 stars 0 forks source link

Kerovy's try #37

Open Kerovy opened 1 year ago

Kerovy commented 1 year ago

stu-code.pgp.txt

github-actions[bot] commented 1 year ago

This is the test report of your code

inference without let poly
┌────────────────────────┬──────────────────────┬──────────────────┐
│ name                   │ tests passed / total │ score get / full │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 1              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) mul 1              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 1               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 2              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 3              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) mul 2              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 2               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 3               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 4               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) apply_diff_ty      │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) self_apply         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) y_comb_self_apply  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_add        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_mul        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_lt         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) unapplicable       │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond            │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_br_ty           │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond_and_br_ty  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) add                │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) mul                │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) lt                 │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) inc1               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) bool_id            │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_add        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_mul        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_lt         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_high_order      │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_cond_high_order │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) long_app           │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) id                 │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) k                  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) s                  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church3            │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_succ        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_add         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_pair        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ total                  │ 2 / 37               │ 4 / 74           │
└────────────────────────┴──────────────────────┴──────────────────┘
inference
┌───────────────┬──────────────────────┬──────────────────┐
│ name          │ tests passed / total │ score get / full │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) lam_poly  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) if_poly   │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) sii       │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) cmp       │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) dup_let   │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) let_poly  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) apply     │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) s(k(si))k │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) ski(kis)  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) skik      │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) long_time │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) nested    │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) nested    │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ total         │ 0 / 13               │ 0 / 26           │
└───────────────┴──────────────────────┴──────────────────┘
total score : 4 / 100
github-actions[bot] commented 1 year ago

This is the test report of your code

inference without let poly
┌────────────────────────┬──────────────────────┬──────────────────┐
│ name                   │ tests passed / total │ score get / full │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 1              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) mul 1              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 1               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 2              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 3              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) mul 2              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 2               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 3               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 4               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) apply_diff_ty      │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) self_apply         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) y_comb_self_apply  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_add        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_mul        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_lt         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) unapplicable       │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond            │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_br_ty           │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond_and_br_ty  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) add                │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) mul                │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) lt                 │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) inc1               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) bool_id            │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_add        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_mul        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_lt         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_high_order      │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_cond_high_order │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) long_app           │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) id                 │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) k                  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) s                  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church3            │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_succ        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_add         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_pair        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ total                  │ 2 / 37               │ 4 / 74           │
└────────────────────────┴──────────────────────┴──────────────────┘
inference
┌───────────────┬──────────────────────┬──────────────────┐
│ name          │ tests passed / total │ score get / full │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) lam_poly  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) if_poly   │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) sii       │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) cmp       │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) dup_let   │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) let_poly  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) apply     │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) s(k(si))k │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) ski(kis)  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) skik      │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) long_time │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) nested    │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) nested    │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ total         │ 0 / 13               │ 0 / 26           │
└───────────────┴──────────────────────┴──────────────────┘
total score : 4 / 100
github-actions[bot] commented 1 year ago

This is the test report of your code

inference without let poly
┌────────────────────────┬──────────────────────┬──────────────────┐
│ name                   │ tests passed / total │ score get / full │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 1              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) mul 1              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 1               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 2              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 3              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) mul 2              │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 2               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 3               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 4               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) apply_diff_ty      │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) self_apply         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) y_comb_self_apply  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_add        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_mul        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_lt         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) unapplicable       │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond            │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_br_ty           │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond_and_br_ty  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) add                │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) mul                │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) lt                 │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) inc1               │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) bool_id            │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_add        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_mul        │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_lt         │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_high_order      │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_cond_high_order │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) long_app           │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) id                 │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) k                  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) s                  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church3            │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_succ        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_add         │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_pair        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ total                  │ 11 / 37              │ 22 / 74          │
└────────────────────────┴──────────────────────┴──────────────────┘
inference
┌───────────────┬──────────────────────┬──────────────────┐
│ name          │ tests passed / total │ score get / full │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) lam_poly  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) if_poly   │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) sii       │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) cmp       │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) dup_let   │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) let_poly  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) apply     │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) s(k(si))k │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) ski(kis)  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) skik      │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) long_time │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) nested    │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) nested    │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ total         │ 0 / 13               │ 0 / 26           │
└───────────────┴──────────────────────┴──────────────────┘
total score : 22 / 100