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