Fixing a typo in option name.
[jpf-core.git] / src / main / gov / nasa / jpf / listener / StateReducer.java
2019-09-26 rtrimanaFixing a typo in option name.
2019-09-25 rtrimanaUpdating main.jpf; Cleaning up the StateReducer.
2019-09-25 rtrimanaFirst version of the StateReducer class.