Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

See if design-by-contract would be worth adding #211

Open
jmgate opened this issue Oct 3, 2024 · 0 comments
Open

See if design-by-contract would be worth adding #211

jmgate opened this issue Oct 3, 2024 · 0 comments
Assignees
@jmgate
Labels
Type: Task Something we need to do that doesn't fit any other type.

Comments

@jmgate
Copy link
Collaborator

jmgate commented Oct 3, 2024

Description

Design-by-contract involves specifying pre- and post-conditions for function that must hold on entry/exit. It's an added layer of run-time protection. Investigate tools like the following, to see if it'd be worth adding something like this to the repository.
@jmgate jmgate added the Type: Task Something we need to do that doesn't fit any other type. label Oct 3, 2024
@jmgate jmgate self-assigned this Oct 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jmgate jmgate

Labels
Type: Task Something we need to do that doesn't fit any other type.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jmgate