search

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
130 stars 91 forks source link

Adding witness generation to SPF : GSoC 2024 #106

Closed kunhakim72 closed 3 weeks ago

kunhakim72 commented 1 month ago

Hi there! Since my original account kylekim72 is flagged now and we have time limit for SV-COMP, I created new account and made a new pull request to merge my code at sv-comp branch for witness generation. Please review and give me some comments to improve. Thank you!

kunhakim72 commented 4 weeks ago

@sohah , I made a change on my codebase based on your comments. When you have a moment, please check this. Thank you for your time!

kunhakim72 commented 3 weeks ago

@sohah , I fixed code based on your advice. When you have a time, please check this. Thank you!!

sohah commented 3 weeks ago

@kunhakim72, thank you for your contribution this summer and for making the effort to finish the review process of this pull request. @yannicnoller , can you please accept this pull request?