Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
#

code-instrumentation

Here are 7 public repositories matching this topic...

A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).

  • Updated Jun 14, 2025
  • JavaScript

Improve this page

Add a description, image, and links to the code-instrumentation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the code-instrumentation topic, visit your repo's landing page and select "manage topics."

Learn more

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /