Test case for double arithmetic. tested predicate(s): DoubleArithmetic.EQUAL tested function(s): DoubleArithmetic.PLUS,DoubleArithmetic.TIMES,DoubleArithmetic.SQRT
Note that we compute numbers satisfying the theorem of pythagoras!
author: Jens Dietrich version: 3.4 <7 March 05> since: 1.6