Skip to content

postcondition incorrectly characterized #1095

Description

@MarkoSchuetz

What is the problem?

In the section on defensive programming there's a statement

A postcondition is something that the function guarantees is true when it finishes.

But a postcondition only needs to hold upon termination if the precondition was true on entry. That qualification is missing.

Location of problem (optional)

- A [postcondition](../learners/reference.md#postcondition)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions