kex icon indicating copy to clipboard operation
kex copied to clipboard

More custom generators for classes from standard library

Open AbdullinAM opened this issue 8 months ago • 0 comments

With the introduction of oracles, there is a new problem. ActionSequence generators currently do not adequately support standard library classes, only classes from kex-rt. In these cases our oracles will fail, because expected values will be generated from std classes while arguments will be generated from kex-rt.

To solve that, we need to introduce ways to generate std classes similarly to kex-rt. #112 already implemented some basic classes, e.g.: ArrayList, LinkedList, HashSet and HashMap. But we need to extend that, at least with:

  • [ ] IdentityHashMap
  • [ ] StringBuilder/StringBuffer
  • [ ] TreeSet/TreeMap
  • [ ] ...

AbdullinAM avatar Jun 03 '24 16:06 AbdullinAM