Resolve address in use error in CI

GaloisInc / csaf

Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.

BSD 3-Clause "New" or "Revised" License

10 stars 4 forks source link

Resolve address in use error in CI #105

Closed podhrmic closed 2 years ago

podhrmic commented 2 years ago

Failing job: https://github.com/GaloisInc/csaf/runs/3109113870?check_suite_focus=true

Reproduce with:

#!/bin/bash
./run-csaf.sh -e f16-shield -f f16_job_conf_parallel_random.toml -n
./run-csaf.sh -e f16-shield -f f16_job_conf_parallel_fixed.toml -n
./run-csaf.sh -e f16-shield -f f16_job_conf_parallel_from_file.toml -n
./run-csaf.sh -e f16-llc-analyze -f f16_job_conf_parallel_fixed.toml -n

or without -n for a docker run

podhrmic commented 2 years ago

@zutshi I was able to recreate the address is use error as described above. The solution that reliably worked for me was to add sleep 10 - just to give the OS time to clean up after each run. I think that is sufficient, but let me know if you want to investigate it further.