Docker version analysis error: No such file or directory

[HaveYouTall]

I installed the gigahorse using curl -s -L https://raw.githubusercontent.com/nevillegrech/gigahorse-toolchain/master/scripts/docker/install/install_amd64 | bash on debian 12.

Then I tried the example: gigahorse examples/long_running.hex, and it showed the following error:

Found cached executable for /opt/gigahorse/gigahorse-toolchain/src/../logic/fallback_scalable.dl
Found cached executable for /opt/gigahorse/gigahorse-toolchain/src/../logic/main.dl
Found cached executable for /opt/gigahorse/gigahorse-toolchain/src/../clientlib/function_inliner.dl
Processing contract names...
Discovered 1 contracts. Setting up workers.
Analysing...

Error: [Errno 2] No such file or directory: 'examples/long_running.hex'

Finished 1 contracts...

--------------------------------------------------------------------------------
Timeouts and Errors
--------------------------------------------------------------------------------
  ERROR: 1 of 1 contracts



Writing results to results.json

[sifislag]

Hi,

Stupid question but at your working directory does examples/long_running.hex exist?

[HaveYouTall]

Sure it exists, example/long_running.hex is the official example in this repo.
But since I am using the gigahorse docker, I don't know how to give the correct path, even if this path exists in the host file system.
That's why I am asking this so-called stupid question.

[HaveYouTall]

By the way, how can I get solidity-like pseudo-code as mentioned in ICSE'19? I only find clients/visualizeout.py to generate a pretty-printed textual representation of the IR.

[sifislag]

Sorry for the confusion, I was saying my question is stupid and not yours. I only use the docker wrapper once every six months to check it still works so I'm not too familiar with how it operates.

Anyway the path you are giving gigahorse corresponds to a file in your host machine, not inside the container, so you need to clone the repo, or download the file somewhere else.

Regarding the source-like output this is not open source.

[HaveYouTall]

Thanks for answering, it just worked when I changed -v ${HOME}:${HOME} in gigahorse bash script (for launching docker) to absolute path, don't know why though. I also checked the output of echo $HOME, which is correct. But anyway, it just works now :)