add to README

GaloisInc · Oct 12, 2023 · 3dfa178 · 3dfa178
1 parent 2235dd6
commit 3dfa178
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scratch/function-pointer/README b/scratch/function-pointer/README
@@ -1 +1,5 @@
 gcc -fno-asynchronous-unwind-tables ./function_pointer.c -o function_pointer_unstripped && cp ./function_pointer_unstripped ./function_pointer_stripped && strip ./function_pointer_stripped
+
+and
+
+cabal run reopt:exe:reopt -- --lib-dir ./deps/reopt-benchmark-binaries/centos7-dev/lib64 --debug-dir ./deps/reopt-benchmark-binaries/centos7-dev/debug-lib64 --export-llvm ./scratch/out.ll ./scratch/coreutils-bin-stripped/bin/true