Capsule with dockerized Code Playground

How to Run The Code Playground?

• Clone the master branch
• Install and open Docker Desktop (preferable version: 4.31.1), make sure that the engine is up and running.
• Navigate to /StateBasedTestCaseGeneration/demo/
• Open Terminal in /StateBasedTestCaseGeneration/demo/
• now run the following commands in terminal
  • docker build -t capsule . (to build the image)
  • docker run -d -v my_src_volume:/src -v my_models_volume:/Models -v my_jarfile_lib_volume:/jarfile_lib -p 8080:8080 --name capsule_container capsule (to run the container)
  • docker logs -f capsule_container (to get logs of container)
• The app is up and running navigate to http://localhost:8080/ in your browser
• If you want to stop/start the app use docker stop/start capsule_container