diff options
| author | Elliott Baron <ebaron@fedoraproject.org> | 2009-12-08 16:19:30 -0500 |
|---|---|---|
| committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-12-08 16:19:30 -0500 |
| commit | 66306b0467c6dac5b6a3ea25aa69a7aa9fe2076b (patch) | |
| tree | 9a4f06289c03f157ab33d9743f2c5f9ac0e1f213 /org.eclipse.cdt.codan.core | |
| parent | 8e5b06bf942549bbec94becfa0936e5c2787423a (diff) | |
| download | codan-disjunct-exp.tar.gz codan-disjunct-exp.tar.xz codan-disjunct-exp.zip | |
Attempt to parse disjunctions into execution states. Most likely does not work.disjunct-exp
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ConditionalVisitor.java: Recurse on disjunctions.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/PropertySimulator.java: Expect Set of SymbolicStates from
ConditionalVisitor.
Diffstat (limited to 'org.eclipse.cdt.codan.core')
0 files changed, 0 insertions, 0 deletions