We could potentially hook up with KLEE. JFS could benefit with extra seeds coming from KLEE that are inputs that has satisfied existing paths.
This will likely be tricky to implement because both JFS and KLEE use different versions of LLVM. This makes #17 a necessary pre-requisite.
We could potentially hook up with KLEE. JFS could benefit with extra seeds coming from KLEE that are inputs that has satisfied existing paths.
This will likely be tricky to implement because both JFS and KLEE use different versions of LLVM. This makes #17 a necessary pre-requisite.