I just downloaded the ruby design by contract code, and I have a couple
Is the code being actively developed?
Sadly, no. I whipped that up as an experiment a while ago,
and haven’t had a chance to get back at it.
>Can you have "model variables" using rubydbc, that is, variables that >are visible to the pre/post/invariant checker, but not in the program >itself?
No, but you could probably arrange to do that by clever use
of modules or something.
>Are there example source codes that are available that illustrate how >rubydbc is used?
Should be included in the package you downloaded.