if a static field is encountered, ignore it gracefully
authorjjenista <jjenista>
Wed, 1 Jun 2011 23:50:01 +0000 (23:50 +0000)
committerjjenista <jjenista>
Wed, 1 Jun 2011 23:50:01 +0000 (23:50 +0000)
commita0074c3d3b3b294db593b942e6fa42426c097994
tree714a57d013d8d3bd6704e5a0a6b5827ef41bda63
parenta6d5610c56f1fc46950a9945fea889b994ce41bf
if a static field is encountered, ignore it gracefully
Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java