search

3RA3-F23 / acmerun-acme-77

acmerun-acme-77 created by GitHub Classroom
Other
1 stars 1 forks source link

E.6 “Invariants” #11

Closed MahadAhmed25 closed 11 months ago

MahadAhmed25 commented 1 year ago

Using a bullet point list, write section E.6 “Invariants” o Identify two to three invariants at max

l-alj commented 11 months ago

The identified invariants properly highlight the key ideas we need, I added that the HR data calculation caters to users that connected their HRMs specifically since it won't be true for other users that haven't utilized that feature.

l-alj commented 9 months ago

This section is poorly formatted. Trail maintenance is not an invariant. You can't have something that must be satisfied as a condition as an invariant. from MS1 B Tier