Tests if we solve a bug