What steps will reproduce the problem?
1. start Icarus and load a project with a test that uses contract verifier
2. run that test to get a result
3. right click on root node in test explorer (i'm using default Namespace view)
4. Select 'Select -> Passes' if the test passes
What is the expected output? What do you see instead?
the entire tree is collapsed and all tests deselected.
I guess this is because contract verifier tests does not have last level of
nodes that regular test cases have, but this behaviour is still not what I
expect
What version of the product are you using? On what operating system?
3.2.517 RC win7 x64
Please provide any additional information below.
Original issue reported on code.google.com by niklas.d...@gmail.com on 30 Jul 2010 at 5:22
Original issue reported on code.google.com by
niklas.d...@gmail.com
on 30 Jul 2010 at 5:22