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.

Sign up for GitHub

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

Jump to bottom

q's try #109

Open
qyfqyfqyf opened this issue Oct 16, 2022 · 12 comments
Open

q's try #109

qyfqyfqyf opened this issue Oct 16, 2022 · 12 comments

Comments

@qyfqyfqyf
Copy link

qyfqyfqyf commented Oct 16, 2022 •
edited
Loading

stu-code.pgp.txt
@github-actions
Copy link

This is the test report of your code

2 similar comments
@github-actions
Copy link

This is the test report of your code

@github-actions
Copy link

This is the test report of your code

@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 0 / 4                │ 0 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 0 / 8                │ 0 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 201 / 265            │ 6 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 46 / 100

@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 0 / 8                │ 0 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 205 / 265            │ 9 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 49 / 100

@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 1 / 8                │ 0 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 206 / 265            │ 9 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 49 / 100

@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 0 / 8                │ 0 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 205 / 265            │ 9 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 49 / 100

@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 1 / 8                │ 0 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 206 / 265            │ 9 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 49 / 100

@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 213 / 265            │ 13 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 53 / 100

1 similar comment
@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 213 / 265            │ 13 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 53 / 100

@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 45 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1262 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 213 / 265            │ 13 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 53 / 100

1 similar comment
@github-actions
Copy link

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 45 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1262 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 213 / 265            │ 13 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 53 / 100

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@qyfqyfqyf