Sign inSign up

prodrelworks/occam10

By prodrelworks

Updated almost 6 years ago

Image
0

263

prodrelworks/occam10 repository overview

OCCAM Tool & Benchmarks

OCCAM

Clone the occam tool.

sudo docker pull prodrelworks/occam10:latest
sudo docker run --rm -it -v $PWD:/home -it prodrelworks/occam10:latest

Run occam tool

cd /home/benchmarks
./runbench.py --sets="portfolio.set" --slash-opts="--disable-inlining,--enable-config-prime" --cpu=60 --mem=4096

Make clean

cd /home/benchmarks/examples/portfolio/tree
make spotless

Commands to run the benchmark : https://github.com/lahiri-phdworks/OCCAM-Benchmarks

Tag summary

Content type

Image

Digest

Size

1.1 GB

Last updated

almost 6 years ago

docker pull prodrelworks/occam10