search

SymbolicPathFinder / jpf-symbc

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

Updating README #93

Closed sohah closed 3 months ago

sohah commented 3 months ago

This pull request has the following 2 changes on the README

  1. Updating the clone command to specify the particular branch where the recursive module exists.
  2. Add the gradle option that can allow gradle with versions > 6.9 to use the Java 8 installation that are located the local machine as the gradle's JVM
sohah commented 3 months ago

@yannicnoller , I think this pull request is ready to add to SPF's gradle-build branch