diff options
| -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 $* + |