Stable release

This version works with starlib v0.2.

Stable release

So many changes from v0.1b

• Separate the constraint handling to a library: starlib. This library can be use for jpf-costar and future projects.
• Optimize string constructions in loop with StringBuilder.
• Use visitor design patter for test input generation. This makes starlib only depends loosely on JPF.

This version generates exactly identical outputs, compared to the submitted version.

TODO:

• Move TestGenerator.addModel from bytecode instructions, e.g. GETFIELD, to the listener.

v0.1b

Fix some bugs

First release

All unit tests are OK. No document is available yet.