| commit | 71662546a36d41ad3e350249eeed24ff6b9695bd | [log] [tgz] |
|---|---|---|
| author | Simon Delisle <simon.delisle@ericsson.com> | Thu Feb 16 10:24:52 2017 -0500 |
| committer | Laurent Delaigue <laurent.delaigue@obeo.fr> | Tue Mar 14 09:58:41 2017 -0400 |
| tree | cde480352135966569c8c8f1047b5dbd89547c74 | |
| parent | b1ff6cc006e1fb1160d4aeccd9bfdf49b1d39a92 [diff] |
[511172] Previous Difference doesn't expand the previous node The previous difference action doesn't select the right diff in the SMV. It select the previous expanded node that is not necessarily the previous diff. It should expend the nodes the same way next difference action does. Bug: 511172 Change-Id: Ie87f1b9f3dfd669c206b36c0a3ce4c7495421629 Signed-off-by: Simon Delisle <simon.delisle@ericsson.com>