Added implicit flow for if statements
authordavid <david>
Wed, 7 Sep 2011 00:53:20 +0000 (00:53 +0000)
committerdavid <david>
Wed, 7 Sep 2011 00:53:20 +0000 (00:53 +0000)
commit81088e4ffc512bcb573428b1e9b2cb80dcdc0f5d
tree7bfa55f16ad350fa3fb8a7771318f6352e485f61
parent96a27ba45ffe358a3b791c84a5d7bc7aa18cfd98
Added implicit flow for if statements
Robust/src/Analysis/SSJava/SSJavaInferenceEngine.java