git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@2310 331e1502-861f-0410-8da2-ba01fb791d7f

This commit is contained in:
boufaras 2011-07-08 15:14:24 +00:00
commit 17661d44d7

View file

@ -48,35 +48,38 @@ int main() {
assert(temperature==100); assert(temperature==100);
//temperature must not changed 2* //temperature must not changed 2*
test.update(temperature); test.update(temperature,0);
assert(temperature==100); assert(temperature==100);
assert(test(temperature)); assert(test(temperature));
test.update(temperature); test.update(temperature,0);
assert(temperature==100); assert(temperature==100);
assert(test(temperature)); assert(test(temperature));
//then temperature must be /10 //then temperature must be /10
test.update(temperature); test.update(temperature,0);
assert(temperature==10); assert(temperature==10);
assert(test(temperature)); assert(test(temperature));
test.update(temperature); test.update(temperature,0);
assert(temperature==10); assert(temperature==10);
assert(test(temperature)); assert(test(temperature));
test.update(temperature); test.update(temperature,0);
assert(temperature==10); assert(temperature==10);
assert(test(temperature)); assert(test(temperature));
test.update(temperature); test.update(temperature,0);
assert(temperature == 1);
std::cout<< "\n";
assert(test(temperature));
test.update(temperature,0);
std::cout<< "\n";
assert(temperature==1); assert(temperature==1);
assert(test(temperature)); assert(test(temperature));
test.update(temperature); test.update(temperature,0);
assert(temperature==1); std::cout<< "\n";
assert(test(temperature));
test.update(temperature);
assert(temperature==1); assert(temperature==1);
assert(test(temperature)); assert(test(temperature));
test.update(temperature); test.update(temperature,0);
assert(temperature==0.1); assert(temperature==0.1);
assert(!test(temperature)); assert(!test(temperature));