SoftSec-KAIST/Smartian-Artifact

After running, there are only some empty folders, but no output files under them

ChinaWaldeinsamkeit opened this issue · 1 comments

In order to test the feasibility of the experiment, I ran a simple experiment. I changed the time limit to 1/10 of the original. For example, the code in the test_dfa_impact.sh file is:
python $SCRIPTDIR/run_experiment.py B1 smartian 360
Then run ./scripts/test_dfa_impact.sh 1, but after the run, there is no result, only an empty folder, such as only output/result-dfa-impact/dfa/B1-smartian-1, and no files under it. This is the case for all folders under the output directory

There has been some issue in Docker image build. And previously, when run_experiment.py failed to launch docker containers, it could not recognize and report such errors.

Now these issues are fixed in the main branch. You must be able to build the docker image successfully now. Also, now the script will report an error if it fails to launch a docker container.