Skip to content

Commit 9508104

Browse files
committed
Fix concurrency proof script
Matches the updated log format
1 parent d611a2d commit 9508104

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ssm-agent/argot-proofs/agent-concurrency-proof-fix.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ echo "Running goroutine analysis on SSM agent in directory $(pwd)"
2020

2121
"$ARGOT_BIN" goroutine -config "$SCRIPT_DIR"/argot-config-agent.yaml | tee /tmp/argot-output.txt || true
2222

23-
if grep -F '[INFO] Analysis took ' /tmp/argot-output.txt; then
23+
if grep -F '[INFO] Analysis took ' /tmp/argot-output.txt; then
2424
echo "Found end of results"
2525
else
2626
echo "Analysis did not complete"

0 commit comments

Comments
 (0)