T2 2.2beta - SortedList: Assertion VIOLATED!

[teky]

Hi,

Trying to execute the well known SortedList example (pre and post conditions specified) in Eclipse 3.4 JDK 1.6 and JUnit 4.6, I still get errors. Perhaps I didn't understand the rules, can you help me?

Thanks in advance

ERROR 1

** STEP 3.
** Calling method get_spec with:
** Receiver: target-obj
** State of target object now:
(SortedList) @ 0
s (LinkedList) @ 1
[0] (Integer) : -1
max (Integer) : -1
xx Assertion VIOLATED!
** Strack trace: java.lang.AssertionError: POST
at SortedList.get_spec(SortedList.java:31)
at sun.reflect.GeneratedMethodAccessor3.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at Sequenic.T2.Seq.CALL_METHOD.exec(Unknown Source)
at Sequenic.T2.Seq.Trace.execAllSteps(Unknown Source)
at Sequenic.T2.Seq.Trace.exec(Unknown Source)
at Sequenic.T2.Seq.TraceSet.exec(Unknown Source)
at Sequenic.T2.Engines.BaseEngine.reportAndSave(Unknown Source)
at Sequenic.T2.Engines.BaseEngine.mainloop(Unknown Source)
at Sequenic.T2.Engines.EngineWithTimeOut.run(Unknown Source)
at java.lang.Thread.run(Unknown Source)

** End test sequence


ERROR 2

** STEP 2.
** Calling method get_spec with:
** Receiver: target-obj
** State of target object now:
(SortedList) @ 0
s (LinkedList) @ 1
max (Integer) : -1
xx INTERNAL ERROR!
** Strack trace: java.util.NoSuchElementException
at java.util.LinkedList.getLast(Unknown Source)
at SortedList.get(SortedList.java:24)
at SortedList.get_spec(SortedList.java:30)
at sun.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at Sequenic.T2.Seq.CALL_METHOD.exec(Unknown Source)
at Sequenic.T2.Seq.Trace.execAllSteps(Unknown Source)
at Sequenic.T2.Seq.Trace.exec(Unknown Source)
at Sequenic.T2.Seq.TraceSet.exec(Unknown Source)
at Sequenic.T2.Engines.BaseEngine.reportAndSave(Unknown Source)
at Sequenic.T2.Engines.BaseEngine.mainloop(Unknown Source)
at Sequenic.T2.Engines.EngineWithTimeOut.run(Unknown Source)
at java.lang.Thread.run(Unknown Source)

** End test sequence

[W.P.]

Hello,

Well that's the SortedList class contains a bug that left there on purpose, so T2 is supposed to report error. But it would be strange if it still reports error after you fixed the injected bug. Did you do that, or did you just leave the class unchanged?

Cheers, --Wishnu