ASSERT-KTH / flacoco

FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
MIT License
29 stars 15 forks source link

tarantula_added #242

Closed ashraf04066 closed 1 year ago

ashraf04066 commented 1 year ago

Here, I have added Tarantula laws instead of Ochiai.

andre15silva commented 1 year ago

Hi @ashraf04066 ,

Thanks for the PR!

The reason why you only generate 1.0 is due to using ints and not doubles in your calculations. Thus, Java will round the division and return 1.0.

I am introducing a correct implementation of Tarantula in #243 , and I'm also changing the types to doubles to prevent other similar errors. You can select it with the option --formula=TARANTULA through the cli, or by setting the formula option in the API.