8000 Unix.Unix_error while running ./batchrundetach · Issue #21 · rocq-community/chapar · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Unix.Unix_error while running ./batchrundetach #21

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
Open
SuperLeilia opened this issue Jul 13, 2021 · 4 comments
Open

Unix.Unix_error while running ./batchrundetach #21

SuperLeilia opened this issue Jul 13, 2021 · 4 comments

Comments

@SuperLeilia
Copy link

Hi,

I cloned the project from git and ran make, make install and make stores, which all seemed well.
But I ran the demo experiment with ./batchrundetach and it returned the following error:

Run: 1
Launching ...
Tue Jul 13 10:13:09 MDT 2021
Fatal error: exception Unix.Unix_error(Unix.EINVAL, "out_channel_of_descr", "")
Receiving and saving results ...
scp: /root/Runner/Worker0/Result.txt: No such file or directory
scp: /root/Runner/Worker1/Result.txt: No such file or directory
scp: /root/Runner/Worker2/Result.txt: No such file or directory
scp: /root/Runner/Worker3/Result.txt: No such file or directory
cat: 'Result*': No such file or directory
Results ...
rm: cannot remove 'Result*': No such file or directory
Sleeping for 10 seconds before the next run ...

The following configurations FYI:

Settings.txt
KeyRange=
50
RepeatCount=
2
LauncherNode=
root@127.0.0.1
MasterNode=
root@127.0.0.1
WorkerNodes=
root@127.0.0.1
root@127.0.0.1
root@127.0.0.1
root@127.0.0.1

Packages under opam:

Packages matching: installed
Name Installed Synopsis
base-bigarray base
base-threads base
base-unix base
batteries 3.3.0 A community-maintained standard library extension
conf-findutils 1 Virtual package relying on findutils
conf-gmp 3 Virtual package relying on a GMP lib system installation
coq 8.13.2 Formal proof management system
num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.12.0 The OCaml compiler (virtual package)
ocaml-base-compiler 4.12.0 Official release 4.12.0
ocaml-config 2 OCaml Switch Configuration
ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled
ocamlbuild 0.14.0 OCamlbuild is a build system with builtin rules to easily build most OCaml projects.
ocamlfind 1.9.1 A library manager for OCaml
zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers

Could anyone give any suggestions on this?
@SuperLeilia
Copy link
Author

@palmskog @Zimmi48

@Zimmi48
Copy link
Member
Zimmi48 commented Jul 13, 2021

Sorry, I have no idea what this is about (I know very little about this package actually).

@siliunobi
Copy link

Im having the same issue "Fatal error: exception Unix.Unix_error(Unix.EINVAL, "out_channel_of_descr", "")". The first run seems all good, while the second run always fails... Any idea?

@palmskog
Copy link
Member
palmskog commented Jul 13, 2021 •
edited
Loading

My main goals with maintaining this project are to (1) make sure the Coq code compiles and (2) make sure the extracted code can be compiled. Any non-compilation bugs in the OCaml code, especially the socket-reliant parts, are unfortunately very unlikely to be investigated or fixed by me anytime soon. On the other hand, fixes to this code are welcome as pull requests.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@palmskog @Zimmi48 @siliunobi @SuperLeilia
0