EvoCrash on Sat4j

[assadOW2]

Characteristics

• Issue Type: [test]
• Reproducibility: [always]
• Severity: [none]
• Tool/Service/Component: [Evocrash]
• Execution Environment: [Ubuntu 16.04]
• Reporter: [Assad Montasser, assad.montasser@ow2.org]

Description

I have received a log for a crash in Sat4j project and the procedure to reproduce the crash. I tried to use Evocrash with those informations in order to generate new tests but didn't succeed. I must have missed a step in the configuration, that's why I am looking for some help. Could we organize a skype session in order to show you live my configuration ? Thanks in advance for your help.

Kind regards, Assad

Steps to reproduce

Other files and URLs

Relationships

Help on issue template

Preview to follow the link or open file .github/ISSUE_DOC.md