CAV2022 final checks about veritex HOT 17 OPEN

Attached also is the log file of the run, I was able to get this extracted from the container via the following, but I wasn't able to copy the figures out using the instructions provided in the readme.

johnsott@lh-lambda-quad:~/veritex-results-2022-05-06$ sudo docker exec -it cav_veritex cat /veritex/cav22_artifact/results-taylor.txt > results-run-taylor-2022-05-06.txt

results-run-taylor-2022-05-06.txt

from veritex.

And just for reference on workarounds I attempted: I tried modifying the permissions on both the host and in the container, and continued to get the same error, so I am not sure what is going on, but you have to get the generated images out of the container, as otherwise the reviewers aren't going to be able to see them, so the artifact is not functional.

from veritex.

It looks like all the figures and tables are generated and copped to the host. Have you tried 'sudo' before 'open'?

from veritex.

The files were not copied to the host: that ls was in the container

from veritex.

johnsott@lh-lambda-quad:~/veritex-results-2022-05-06$ sudo docker cp cav_veritex:/veritex/cav22_artifact/results/. .
open /home/johnsott/veritex-results-2022-05-06/Figure2.png: permission denied

It looks you copied the files to 'veritex-results-2022-05-06' in your computer. Can you check if all files are copied here?

from veritex.

They are not there: I created that directory on the host, the docker cp command failed with the error listed

from veritex.

open /home/johnsott/veritex-results-2022-05-06/Figure2.png: permission denied

Is this the error when you try copying?

from veritex.

Yes

from veritex.

Some people posted the same error online. I will look into it.

from veritex.

Can you try copying files into a folder in Desktop?

from veritex.

Also can you check your docker version?

which docker

People online say the snap may cause this issue

from veritex.

I had to leave so can't. I tried all permissions and folder workarounds before I left, so desktop wouldn't do it. Can Bernie, Preston, or anyone else who tried it confirm they were able to copy the files from the container when host was not windows, or were you able to? It's possible this is a docker version issue, as it's the lambda computer, so probably 2 years or so old version at least

from veritex.

I have tested the 'docker cp' on both linux and windows and didn't find any issue. I can add a solution link to README in case users have this issue.

from veritex.

OK, that sounds good, probably is an old version of docker issue, so maybe suggest updating if they run into it?

from veritex.

OK, I will do it

from veritex.

Great, thanks! I will look over things once more later tonight. I realize getting late and it's Friday, but are you available to submit at like 9-10pm or too late?

from veritex.

Yes, I will be free the whole night

from veritex.