ASSERT-KTH / ASSERT-KTH/flacoco

Unrepair Math-78 by JKali

Open
#103 5 comments 0 reactions 0 assignees View on GitHub
Dominant language
Java
Stars
38
Forks
15
PR merge metrics
No merged PRs in 30d

Description

jGenProg arrives to repair with Gzoltar, but not with Flacoco (which does not fail)
Logs for the two executions, first gzoltar, then Flacoco

https://github.com/martinezmatias/astor/runs/3676644911?check_suite_focus=true#step:8:3314

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by comparing the two executions in the linked logs, first with Gzoltar and then with Flacoco, and trace how jGenProg handles the Math-78 repair case. Reproduce the difference and determine why Flacoco does not fail; done means the issue is explained and the corresponding repair behavior is corrected or clearly documented.

Written by the indexing model from the issue text.

Assessment

Tech stack
java
Domain
testing
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.