Juan Pablo Galeotti
-
2008-12-17
Menu
▾
▴
#9 NullPointerException inspecting a counterexample trace
Failure:
A NullPointerException occurs while inspecting the third action in the counterexample trace. The assertion name is "check_LinkList_getBuggy_0"
Configuration details:
In order to achieve the counterexample you need to specify
- numberOfLoopUnrolls = 5
- strictUnrolling = false
