use maplit::hashmap;
use num::integer::sqrt;
use unit::{Tdd, TddGroup};
fn pythagore(t:&mut Tdd) -> &mut Tdd
{
let ca = 3;
let cb = 4;
t.assert
(
sqrt(((cb * cb) + ( ca * ca))) == 5,
"The hypotenuse of the cab triangle is equal to 5",
"The hypotenuse of the cab triangle is not equal to 5",
)
}
fn reciprocate(t:&mut Tdd) -> &mut Tdd
{
t.assert
(
4*4+3*3 == 5*5,
"The triangle 4 by 3 is rectangle",
"The triangle 4 by 3 is not rectangle",
)
.assert
(
8*8+15*15 == 17 * 17,
"The triangle 8 by 15 is rectangle",
"The triangle 8 by 15 is not rectangle",
).assert
(
5*5 + 12*12 == 13*13,
"The triangle 5 by 12 is rectangle",
"The triangle 5 by 12 is not rectangle",
)
}
assert!(TddGroup::new("Test multiple theorem")
.add("test pythagore",&pythagore,"Theorem of pythagore is true")
.add("test reciprocate of pythagore",&reciprocate, "The reciprocate of the theorem of pythagore is true")
.end().is_ok());