Slash Boxes
NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.

All the Perl that's Practical to Extract and Report

The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
More | Login | Reply
Loading... please wait.
  • This looks suspiciously like DBC. Is it?
    • No, it's not DBC, but I can see how it might look like that from my limited description. In DBC, things fail when bad stuff gets in there, but that's only if the bad stuff does get there. That might happen if your tests push through bad data, but if in the normal course of running the app the bad data doesn't get to the code, the contract holds. Alloy is explicitly looking for things which could reasonbly happen in your app and cause a failure state.

      Also, DBC only ensures that the contract holds, not t