change the debug mode for capturing null dereference to a global compilar option
authorjjenista <jjenista>
Thu, 28 Apr 2011 18:00:55 +0000 (18:00 +0000)
committerjjenista <jjenista>
Thu, 28 Apr 2011 18:00:55 +0000 (18:00 +0000)
commit33aa0abebaf0a604d0f9d1e69a519d16f22a4a4d
tree339841b56c6ad974a958d9cba06a0ce780f1886b
parentc7f531ddf7a7d0dd1500b11ab6e3108c8924f796
change the debug mode for capturing null dereference to a global compilar option
Robust/src/IR/Flat/BuildCode.java
Robust/src/IR/State.java
Robust/src/Main/Main.java
Robust/src/buildscript