https://github.com/plsyssec/tasty-gradescope
Generate GradeScope score summaries from Tasty tests
https://github.com/plsyssec/tasty-gradescope
Last synced: 2 months ago
JSON representation
Generate GradeScope score summaries from Tasty tests
- Host: GitHub
- URL: https://github.com/plsyssec/tasty-gradescope
- Owner: PLSysSec
- License: bsd-3-clause
- Created: 2017-03-15T02:35:56.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2017-03-27T02:36:03.000Z (about 9 years ago)
- Last Synced: 2025-03-02T01:44:07.190Z (over 1 year ago)
- Language: Haskell
- Homepage:
- Size: 16.6 KB
- Stars: 1
- Watchers: 5
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# tasty-gradescope
`tasty-gradescope` is a framework for creating Haskell assignment graders using
`tasty`. It outputs test results to a GradeScope compatible json file.
## Options
Unfortunately, *top level* option parameters do not work when specified inside
the test suite yet, so you must pass them in when you run the tester, e.g.
```
stack test --test-arguments "--scores results_hs.json --NegScoring True --TotalPoints 55"
```
the top level options are:
- `--scores ` : where to output the json file
- `--NegScoring `: Use negative scoring (deduct from total) or not.
Default: `false`
- `--TotalPoints `: Total score for use with neg scoring.
## Specifying points
You can locally alter the points for each test in the tester (default:
1), using the `scored` combinator:
```haskell
scored 2 $ testProperty "padZero" prop_padZero
```