abs probadorHaskellOCL

Funciones aritmeticas D.7

Contexto Ineteger1

       <details key="invariantD7abs1" value="abs(-1) = 1"/>
       <details key="invariantD7abs2" value="abs(1) = 1"/>
       <details key="invariantD7abs3" value="abs(0-5) = 5"/>
       <details key="invariantD7abs4" value="abs(2-3) = 1"/>
       <details key="invariantD7abs5" value="abs(2+3) = 5"/>
       <details key="invariantD7abs1f" value="abs(-1) = -1"/>
       <details key="invariantD7abs2f" value="abs(1) = -1"/>
       <details key="invariantD7abs3f" value="abs(0-5) = -5"/>
       <details key="invariantD7abs4f" value="abs(2-3) = -1"/>
       <details key="invariantD7abs5f" value="abs(2+3) = -5"/>

no genera nada

Esto otro

       <details key="invariantD7abs1" value="(-1).abs = 1"/>
       <details key="invariantD7abs2" value="(1).abs = 1"/>

no genera danda