ASSERT-KTH / xPerturb

perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology
https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf
7 stars 5 forks source link

Fix for jenkins tests caused by a different project name #4

Closed surli closed 7 years ago

surli commented 7 years ago

Propose a fix to broken test by using property user.dir instead of explicit path.