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 │ 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 │ 5 / 37 │ 10 / 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 : 10 / 100
code.txt