Hi, I came across herbgrind and I wanted to try it out. I had some trouble getting it to compile (version mismatch in tools etc).
I understand that this is a research project and that focus might have shifted elsewhere since, but I added a Containerfile with an environment specification to at least get it to compile and have some tests pass.
Hi, I came across herbgrind and I wanted to try it out. I had some trouble getting it to compile (version mismatch in tools etc).
I understand that this is a research project and that focus might have shifted elsewhere since, but I added a
Containerfilewith an environment specification to at least get it to compile and have some tests pass.I do get (at least) one test failure though:
output from test run
``` Successfully tagged localhost/herbgrind:12160762 49ee16c7408a740a96e1d35cdc5e63ec2ed216b551670e7e430c56111767b024 Try runing herbgrind's test suite by issuing: $ /opt/run_hergrind_tests.sh tests should ideally pass. root@6bb243e9a86d:/home/bjorn/vc/herbgrind/.container# /opt/run_herbgrind_tests.sh + cd /opt/herbgrind ++ opam config env [WARNING] Running as root is not recommended + eval 'CAML_LD_LIBRARY_PATH="/root/.opam/4.06.1/lib/stublibs";' export 'CAML_LD_LIBRARY_PATH;' 'MANPATH="/root/.opam/4.06.1/man:";' export 'MANPATH;' 'PERL5LIB="/root/.opam/4.06.1/lib/perl5";' export 'PERL5LIB;' 'OCAML_TOPLEVEL_PATH="/root/.opam/4.06.1/lib/toplevel";' export 'OCAML_TOPLEVEL_PATH;' 'PATH="/root/.opam/4.06.1/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin";' export 'PATH;' ++ CAML_LD_LIBRARY_PATH=/root/.opam/4.06.1/lib/stublibs ++ export CAML_LD_LIBRARY_PATH ++ MANPATH=/root/.opam/4.06.1/man: ++ export MANPATH ++ PERL5LIB=/root/.opam/4.06.1/lib/perl5 ++ export PERL5LIB ++ OCAML_TOPLEVEL_PATH=/root/.opam/4.06.1/lib/toplevel ++ export OCAML_TOPLEVEL_PATH ++ PATH=/root/.opam/4.06.1/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin ++ export PATH + make test make -C bench tiny.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o tiny.c.out tiny.c -g -lm -std=c11 chmod u+x tiny.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench var-test.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o var-test.c.out var-test.c -g -lm -std=c11 chmod u+x var-test.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench diff-simple.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o diff-simple.c.out diff-simple.c -g -lm -std=c11 chmod u+x diff-simple.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench sum-500.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o sum-500.c.out sum-500.c -g -lm -std=c11 chmod u+x sum-500.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench hello_world.ml.out make[1]: Entering directory '/opt/herbgrind/bench' ocamlopt -g -o hello_world.ml.out hello_world.ml chmod u+x hello_world.ml.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench simple-negate.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o simple-negate.c.out simple-negate.c -g -lm -std=c11 chmod u+x simple-negate.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench same-small.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o same-small.c.out same-small.c -g -lm -std=c11 chmod u+x same-small.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench diff-roots.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o diff-roots.c.out diff-roots.c -g -lm -std=c11 chmod u+x diff-roots.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench mini.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o mini.c.out mini.c -g -lm -std=c11 chmod u+x mini.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench multi-args.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o multi-args.c.out multi-args.c -g -lm -std=c11 chmod u+x multi-args.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench diff_roots.ml.out make[1]: Entering directory '/opt/herbgrind/bench' ocamlopt -g -o diff_roots.ml.out diff_roots.ml chmod u+x diff_roots.ml.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench small.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o small.c.out small.c -g -lm -std=c11 chmod u+x small.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench diff-roots-simple.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o diff-roots-simple.c.out diff-roots-simple.c -g -lm -std=c11 chmod u+x diff-roots-simple.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench var-test-2.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o var-test-2.c.out var-test-2.c -g -lm -std=c11 chmod u+x var-test-2.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench some-trig.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o some-trig.c.out some-trig.c -g -lm -std=c11 chmod u+x some-trig.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench fma.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o fma.c.out fma.c -g -lm -std=c11 chmod u+x fma.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench exp2l.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o exp2l.c.out exp2l.c -g -lm -std=c11 chmod u+x exp2l.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench sum-50.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o sum-50.c.out sum-50.c -g -lm -std=c11 chmod u+x sum-50.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench redir.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o redir.c.out redir.c -g -lm -std=c11 chmod u+x redir.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench compare-zero-self.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o compare-zero-self.c.out compare-zero-self.c -g -lm -std=c11 chmod u+x compare-zero-self.c.out make[1]: Leaving directory '/opt/herbgrind/bench' make -C bench sqrtf.c.out make[1]: Entering directory '/opt/herbgrind/bench' gcc-8 -o sqrtf.c.out sqrtf.c -g -lm -std=c11 chmod u+x sqrtf.c.out make[1]: Leaving directory '/opt/herbgrind/bench' python3 bench/test.py bench/simple-negate.c.out bench/fma.c.out bench/small.c.out bench/tiny.c.out bench/compare-zero-self.c.out bench/multi-args.c.out bench/sum-500.c.out bench/diff-roots-simple.c.out bench/sum-50.c.out bench/hello_world.ml.out bench/diff-roots.c.out bench/exp2l.c.out bench/same-small.c.out bench/var-test-2.c.out bench/sqrtf.c.out bench/some-trig.c.out bench/diff-simple.c.out bench/diff_roots.ml.out bench/redir.c.out bench/var-test.c.out bench/mini.c.outCalling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/simple-negate.c.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/fma.c.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/small.c.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/tiny.c.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/compare-zero-self.c.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/multi-args.c.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/sum-500.c.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/diff-roots-simple.c.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/sum-50.c.out`... Outputs match.Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/hello_world.ml.out`... Outputs match. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/diff-roots.c.out`... Outputs ma tch. Calling `./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/exp2l.c.out`... Empty file at b ench/exp2l.c.out.gh! Outputs do not match! Actual:: Expected:: No marks found! stdout:: nan stderr:: ==199== Herbgrind, a valgrind tool for Herbie ==199== Copyright (C) 2016-2017, and GNU GPL'd, by Alex Sanchez-Stern ==199== Using Valgrind-3.15.0.GIT and LibVEX; rerun with -h for copyright info ==199== Command: bench/exp2l.c.out ==199== ==199== Didn't find any marks! Makefile:269: recipe for target 'test' failed make: *** [test] Error 1 ```