diff options
| author | Nao Pross <np@0hm.ch> | 2023-10-05 16:09:20 +0200 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-10-05 16:54:13 +0200 |
| commit | 68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008 (patch) | |
| tree | 80514c40ce2f7d5568b2a3d520b1a67b8c7545e1 | |
| parent | Pass TestFiniteSetProperties (diff) | |
| download | act4e-68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008.tar.gz act4e-68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008.zip | |
Setup file to keep track of homeworks and create shorthand in makefile
Diffstat (limited to '')
| -rw-r--r-- | Homeworks.md | 17 | ||||
| -rw-r--r-- | Makefile | 7 |
2 files changed, 23 insertions, 1 deletions
diff --git a/Homeworks.md b/Homeworks.md new file mode 100644 index 0000000..3a20327 --- /dev/null +++ b/Homeworks.md @@ -0,0 +1,17 @@ +# Homeworks + +Setup commands +``` +$ colima start +$ make docker-check +``` + +## Week 1 + +- [X] TestFiniteSetRepresentation +- [X] TestFiniteSetProperties +- [ ] TestFiniteMakeSetProduct +- [ ] TestFiniteMapRepresentation +- [ ] TestFiniteMapOperations +- [ ] TestFiniteSetRepresentation +- [ ] TestFiniteRelationProperties @@ -15,8 +15,13 @@ docker-check-%: build docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \ act4e-test --collections act4e_checks --module act4e_solutions --group $* +check-latest: Homeworks.md build + docker run -it --rm $(tag) act4e-test --collections act4e_checks --module \ + act4e_solutions --group $(shell grep -e "- \[ \] " $< | tr -d "\- [ ]" | head -n1) + # check: # act4e-test --collections act4e_checks --module act4e_solutions # check-%: -# act4e-test --collections act4e_checks --module act4e_solutions --group $*
\ No newline at end of file +# act4e-test --collections act4e_checks --module act4e_solutions --group $* + |