search

uprm-inso4116-2023-2024-S1 / semester-project-uprm-interactive-map

semester-project-uprm-interactive-map created by GitHub Classroom
1 stars 0 forks source link

[Lecture Topic Task] Assertions #115

Closed argenis-o closed 9 months ago

argenis-o commented 10 months ago

The team shows assertions from their project. For example, they show a pre-condition and a post-condition for one of their commands.