I just downloaded the ruby design by contract code, and I have a couple
Is the code being actively developed?
Can you have “model variables” using rubydbc, that is, variables that
are visible to the pre/post/invariant checker, but not in the program
Are there example source codes that are available that illustrate how
rubydbc is used?
Is anyone actually using this?
Thanks, any information would be much welcomed.