1.23
2.0
main
test-branch
|
Last change
on this file since 9c0c92d was 1f7787c, checked in by Mitchell Gerrard <mitchellgerrard@…>, 10 years ago |
|
Adding new tests for the slice analysis. Now the test driver checks that the slice results are equivalent by the sets of strings they produce (the BooleanExpressions are given as a set, so order is not necessarily preserved). Changing the way the calling context is being tracked. Moving the minimization of the sliced PC out of UserInterface and into the control dependency logic. Passing the evaluator object to the slice analysis through a BranchConstraints object rather than trying to capture each symbolic branch constraint within CommonEnabler.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@3754 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
131 bytes
|
| Line | |
|---|
| 1 | *** Original PC ***
|
|---|
| 2 | 0 <= Y0 - 3
|
|---|
| 3 | Y0 - 3 <= 0 && 0 <= Y0 - 1
|
|---|
| 4 | *** Minimized PC ***
|
|---|
| 5 | 0 <= Y0 - 3
|
|---|
| 6 | Y0 - 3 <= 0 && 0 <= Y0 - 1
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
