State Flow Graph for the PetClinic website using Crawljax.
- Nevigate to fse2019->petclinic folder
- Then in terminal command: docker pull dockercontainervm/petclinic:latest
- Then command: docker run -it --workdir=/home/spring-petclinic-angularjs --expose 8080 --expose 3306 -p 3000:8080 -p 3306:3306 dockercontainervm/petclinic:latest bash
- Then command: ./run-services-docker.sh
- Then in your browser - go to http://localhost:3000 , then you'll see the website!