aboutsummaryrefslogtreecommitdiff
path: root/doc/api.md
diff options
context:
space:
mode:
authorRasmus Dahlberg <rasmus.dahlberg@kau.se>2021-10-10 20:00:51 +0200
committerRasmus Dahlberg <rasmus.dahlberg@kau.se>2021-10-10 20:08:14 +0200
commit8211f0ecdf8a65584d34ee177616dda80ebcab17 (patch)
tree7d966cff206b2422f0e27655ca8e4e9032bc05df /doc/api.md
parent05548e4e289890f318d93b90cb47730c45acc210 (diff)
reworked partial enforcement of verification criteria
- Expanded into two separate examples - Moved it into the verification subsection
Diffstat (limited to 'doc/api.md')
0 files changed, 0 insertions, 0 deletions