> _for example you can do stuff like: "while in dev, verify that this function returns indeed a collection that is actually sorted everytime it is called"._ Th

> _for example you can do stuff like: "while in dev, verify that this function returns indeed a collection that is actually sorted everytime it is called"._ This sounds interesting. Do I understand correctly, this checks the "spec" at runtime? What happens if a spec fails?