NimContracts
NimContracts copied to clipboard
Udiknedormin
Nim Language design by contract (DbC) library.
Documentation says that NimContracts doesn't generate any code for runtime when build with release mode. But the code says something different. 😄 The contracts are not generated only when assertions...
Add some mode or annotation for generating [DrNim pragmas](https://nim-lang.org/docs/drnim.html). Thanks to that, some runtime checks could be moved from runtime to DrNim's static analysis. It should support everything that [logic...
When a contract is broken, only the original expression and its source are shown. It would be nice to also show the runtime values of the variables used in the...
Trying to run `nimble test` (or build a project with this as a dependency) I get a number of deprecation warnings and then this error: ``` \contracts\declarations\keywords.nim(61, 3) Error: undeclared...
I'm getting from the readme and skimming the source that all contracts are evaluated at runtime, right? I'm very interested in the possibility of static verification--see the .NET Code Contracts...
Hello, Can you include in the README.md file how to use this Nim extension? And list it in the Nimble repository for discoverability. It seems a nice extension to the...
Hello, thank you for maintaining this library. I'm new to nim, maybe I'm overlooking something, maybe it's a bug. It feels like a bug. Here's a session: ``` $ git...
Metadata
Owner
Metadata
Nim Language design by contract (DbC) library.