--- milena/ChangeLog | 4 ++++ milena/tests/value/interval.cc | 6 ++++++ 2 files changed, 10 insertions(+), 0 deletions(-) diff --git a/milena/ChangeLog b/milena/ChangeLog index 42a6553..5fd931d 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,5 +1,9 @@ 2012-10-18 Guillaume Lazzara &lt;z(a)lrde.epita.fr&gt; + * tests/value/interval.cc: Add more tests. + +2012-10-18 Guillaume Lazzara &lt;z(a)lrde.epita.fr&gt; + Introduce level tag. * mln/util/level.hh, diff --git a/milena/tests/value/interval.cc b/milena/tests/value/interval.cc index 0fd8e6d..2f57c4c 100644 --- a/milena/tests/value/interval.cc +++ b/milena/tests/value/interval.cc @@ -101,4 +101,10 @@ int main() mln_assertion(r1.ith_element(8) == 11.5); } + { + interval<intsub<1> > r1(0, 255); + mln_assertion(r1.ith_element(0) == 0); + mln_assertion(r1.ith_element(4) == 4); + } + } -- 1.7.2.5