search

aws-samples / aws-batch-comp-infrastructure-sample

MIT No Attribution
11 stars 13 forks source link

Local Integration Testing For the Interaction of the Provided Infrastructure with the Solver #22

Open conp-solutions opened 2 years ago

conp-solutions commented 2 years ago

Dear all,

being able to test the SAT solver components interacting with the provided container infrastructure locally would allow quicker development and debugging issues.

It would be great if consumers of this infrastructure could provide local formulas (e.g. via a directory mounted into the container), that would be forwarded to the solver by the default entry point, instead of talking to AWS resources. A possible way to implement would to support environment variables in the infrastructure code to switch from listening on SQS and using S3, and instead read the file from a (container) local directory, which was mounted in the docker run call. Then, a corresponding docker run example command line would help users to start integrating without setting up all AWS infrastructure. Furthermore, the AWS infrastructure does not have to be refreshed with all modifications to the local images that should be tested. Thanks!

Best, Norbert

mww-aws commented 2 years ago

Norbert, thank you for your suggestion! I will build this after I complete running the solvers for the SAT competition.