New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

frama-c benchmarks fail on multicore (build and run) #17

Open

ctk21 opened this issue May 2, 2019 · 0 comments

Member

ctk21 commented May 2, 2019

frama-c benchmarks fail to build on multicore:

ctypes is a dependency (but see https://github.com/ocamllabs/sandmark#ctypes for workaround)
it uses the name effect which is a keyword in multicore. Patch to get going in sandmark here: https://github.com/ocamllabs/sandmark/tree/bugfix/ctk21/frama-c-multicore-effects

Even with frama-c building, the binary segfaults on multicore. There is a multicore for this: ocaml-multicore/ocaml-multicore#246

The text was updated successfully, but these errors were encountered:

ctk21 mentioned this issue

js_of_ocaml fails to run on multicore #18

Open

shakthimaan mentioned this issue

Update dependency packages to use dune.2.6.0 and Multicore OCaml 4.10.0 #132

Merged

shakthimaan mentioned this issue

BUILD_ONLY needs to exit with error if package installation fails #145

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment