Prova di inserimento di un bug da riprodurre con botsing

[luandrea]

Project source code

https://github.com/STAMP-project/botsing

POM path

botsing/botsing-examples/pom.xml

Target frame

master

Target frame

1

Optional parameters

-search_budget=1200

Crash log

java.lang.ArithmeticException: / by zero
at eu.stamp.botsing.Fraction.getShiftedValue(Fraction.java:24)