Could you point me to a README for running Bennet in this repo? If it is not present, would it be possible to create a Fulminate like README under cn/doc? I specifically wanted to know how to run Bennet on a specific annotated program, like fulminate would do: cn instrument .c?
Second, I tried running the artifact of Bennet hosted on Zenodo, and I get this error: ./runtime-test.sh: line 11: OPAM_SWITCH_PREFIX: unbound variable
Could you point me to a README for running Bennet in this repo? If it is not present, would it be possible to create a Fulminate like README under cn/doc? I specifically wanted to know how to run Bennet on a specific annotated program, like fulminate would do: cn instrument .c? Second, I tried running the artifact of Bennet hosted on Zenodo, and I get this error: ./runtime-test.sh: line 11: OPAM_SWITCH_PREFIX: unbound variable