Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

little w #29

Open
Wanghy-1005 opened this issue Dec 26, 2022 · 2 comments
Open

little w #29

Wanghy-1005 opened this issue Dec 26, 2022 · 2 comments

Comments

@Wanghy-1005
Copy link

Wanghy-1005 commented Dec 26, 2022

stu-code.pgp.txt

@github-actions
Copy link

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                 │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) k                  │ 0 / 1                │ 0 / 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                  │ 0 / 37               │ 0 / 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 : 0 / 100

@github-actions
Copy link

github-actions bot commented Jan 6, 2023

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            │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_br_ty           │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond_and_br_ty  │ 0 / 1                │ 0 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) add                │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) mul                │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) lt                 │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) inc1               │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) bool_id            │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_add        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_mul        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_lt         │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_high_order      │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_cond_high_order │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) long_app           │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) id                 │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) k                  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) s                  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church3            │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_succ        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_add         │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_pair        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ total                  │ 20 / 37              │ 40 / 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 : 40 / 100

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant