You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
...
The text was updated successfully, but these errors were encountered:
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
andHashMap
. But we need to extend that, at least with:The text was updated successfully, but these errors were encountered: