Package Details: jpf-core-git jpf.8.0.r67.ge734381-1

Git Clone URL: https://aur.archlinux.org/jpf-core-git.git (read-only)
Package Base: jpf-core-git
Description: Explicit state software model checker for Java bytecode
Upstream URL: https://github.com/javapathfinder/jpf-core
Licenses: Apache
Provides: jpf
Submitter: lostkhaos
Maintainer: lostkhaos
Last Packager: lostkhaos
Votes: 0
Popularity: 0.000000
First Submitted: 2019-03-08 14:16
Last Updated: 2019-03-08 14:16