Skip to content

GaloisInc/reopt-benchmark-binaries

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

reopt-benchmark-binaries

Binaries used to test and benchmark reopt.

The scripts/generate_centos7_lzmas.sh will generate the following compressed archives:

  • centos7-dev/bin/bin.tar.lzma is the compressed /usr/bin directory from the Dockerfile image.

  • centos7-dev/lib64/lib64.tar.lzma is the compressed /usr/lib64 directory from the Dockerfile image.

  • centos7-dev/debug-lib64/debug-lib64.tar.lzma is the compressed /usr/lib/debug/lib64 directory from the Dockerfile image.

About

Binaries used to test and benchmark reopt

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published