Add option for task state analysis
authorroot <root>
Wed, 2 May 2007 20:15:21 +0000 (20:15 +0000)
committerroot <root>
Wed, 2 May 2007 20:15:21 +0000 (20:15 +0000)
commit1ec8f886a5f42033d4772be948e1b84f90806e16
treed4242852c53e094fb6c56bdfc0881a915033e4a3
parent7bc3618bd8758fd4a1e884fd859d0c535d83879d
Add option for task state analysis
Robust/src/IR/State.java
Robust/src/Main/Main.java