[racket-dev] Announcing Soft Contract Verification tool

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Thu Jan 15 14:17:03 EST 2015

On 2015-01-15 14:13:02 -0500, Asumu Takikawa wrote:
>   Contract violation: 'fact' violates '>='.
>   Value
>     0.105
>   violates predicate
>     real?
>   An example module that breaks it:
>     (module user racket (require (submod ".." fact)) (factorial 0.105))
>   (Verification takes 0.05s)

Hmm, actually I should've looked at this more carefully. Is this a case
where the tool is telling me that the function is non-terminating on
this input?

Cheers,
Asumu

Posted on the dev mailing list.