@aufover/symbiotic

Description

Tool for verifying computer programs based on instrumentation, program slicing and symbolic executor KLEE.

Installation Instructions

dnf copr enable @aufover/symbiotic && dnf install symbiotic

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release	Architectures	Repo Download

* Total number of downloaded packages.