-
Notifications
You must be signed in to change notification settings - Fork 38
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.
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
js_of_ocaml fails to run on multicore #18
Comments
May I work on this? |
Hi @moazzammoriani! Thanks for volunteering to work on this issue. I've described the next steps below, do ask if something is unclear. I hope you've been able to setup OCaml on your machine. Let us know if there are any issues with it, we can sort that out. The first step I'd suggest is to start a run of sandmark on
should do the trick. After the run is over, you'll be able to see the results in the Next, |
Hi, I have done as you asked and drafted the PR. |
See issue #17 on how to get frama-c building on multicore.
js_of_ocaml was failing with
Error: Js_of_ocaml_compiler__Instr.Bad_instruction(983041)
might be additional bytecode instructions added in multicore and not supported by js_of_ocaml?
The text was updated successfully, but these errors were encountered: