javapathfinder / javapathfinder/jpf-nhandler

Documentation (README) update

Open
#5 2 comments 0 reactions 0 assignees View on GitHub
documentation good first issue
Dominant language
Java
Stars
7
Forks
14
Avg merge
5d 6h
Merged PRs (30d)
2

Description

jpf-nhandler mostly works with Java 11, so the README.md should be updated. It should also describe more clearly where to place the sources so the compilation and testing is successful.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.