search

SymbolicPathFinder / jpf-symbc

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

Mjr/dev init igen #65

Open marlinroberts21 opened 3 years ago

marlinroberts21 commented 3 years ago

GSOC 2021 String constraint solver modifications, z3str3 integration.

yannicnoller commented 2 years ago

Hi, @marlinroberts21, thanks again for your PR! I have seen that you add the “build” folder, which I think would not be necessary. Is there any specific reason? Additionally, do you have any update in the meantime, which should also be integrated?

yanxx297 commented 2 years ago

Hi, @marlinroberts21 @yannicnoller I have added support to String.isEmpty() based on Mjr/dev init igen branch. You can find the code at https://github.com/yanxx297/jpf-symbc/commit/01cedcc536636bd87a721562da6197da5f8aca72 This implemented has been briefly tested with this example

I would like to merge the code to trunk SPF repository, but since my implementation is based on this unmerged pull request, I'm not sure what should I do next. e.g. should I make a pull request of Mjr/dev init igen branch?

Let me know also if there is any problem in my code.