updates SSM agent model

Author: ArquintL

ssm-agent/model/generate-spec-config.txt

@@ -1,8 +1,8 @@
 
 
-input_file /Users/arquintlinard/ETH/PhD/gh-artifact/arquintl-diodon-artifact/model/protocol-model.spthy
+input_file /Users/arquintlinard/ETH/PhD/diodon/viperproject-diodon-artifact/ssm-agent/model/protocol-model.spthy
 
-base_dir /Users/arquintlinard/ETH/PhD/gh-artifact/arquintl-diodon-artifact/model/generated_iospecs
+base_dir /Users/arquintlinard/ETH/PhD/diodon/viperproject-diodon-artifact/ssm-agent/model/generated_iospecs
 module github.com/aws/amazon-ssm-agent/agent/iospecs
 make_go_mod False
 gobra_jar /Users/arquintlinard/ETH/PhD/gobra/target/scala-2.13/gobra.jar

ssm-agent/model/generate-spec.sh

@@ -1,6 +1,8 @@
 #!/bin/bash
 
 cwd=$(pwd)
-cd /Users/arquintlinard/ETH/PhD/tamigloo-compiler/tamarin-prover || exit
-stack exec -- tamarin-prover --tamigloo-compiler "$cwd"/secure-sessions-gobra-config.txt
+cd /Users/arquintlinard/ETH/PhD/protocol-verification-refinement/specification-generator/src || exit
+echo $PWD
+stack build
+stack exec -- tamarin-prover --tamigloo-compiler "$cwd"/generate-spec-config.txt
 cd "$cwd" || exit