STAMP-project/dspot

BUG: wrong check done by Dspot before the amplification on Input amplifiers

danglotb opened this issue · 0 comments

DSpot is outputting:

[WARNING] You are using an old name: MethodAdd.
[WARNING] You should use the new name: FastLiteralAmplifier.
[WARNING] The entry TestDataMutator will be deleted very soon.
[WARNING] You are using an old name: MethodGeneratorAmplifier.
[WARNING] You should use the new name: FastLiteralAmplifier.
[WARNING] The entry TestDataMutator will be deleted very soon.

Reported by @borisbaldassari