From d01e561a69524951dc7054098ce5d265cac78e52 Mon Sep 17 00:00:00 2001 From: Philip Offtermatt <57488781+p-offtermatt@users.noreply.github.com> Date: Fri, 15 Dec 2023 11:26:17 +0100 Subject: [PATCH 1/2] Update testutil/simibc/relayed_path.go Co-authored-by: Simon Noetzlin --- testutil/simibc/relayed_path.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testutil/simibc/relayed_path.go b/testutil/simibc/relayed_path.go index 4a5226e59a..4967c02f37 100644 --- a/testutil/simibc/relayed_path.go +++ b/testutil/simibc/relayed_path.go @@ -41,7 +41,7 @@ func MakeRelayedPath(t *testing.T, path *ibctesting.Path) *RelayedPath { } } -// PacketBelongs returns true if the packet belongs to this relayed path. +// PacketSentByChain returns true if the packet belongs to this relayed path. func (f *RelayedPath) PacketSentByChain(packet channeltypes.Packet, chainID string) bool { if chainID == f.Path.EndpointA.Chain.ChainID { return f.PacketSentByA(packet) From 2a1db2b0d0b36abf0ad39c3df134f6038311b59b Mon Sep 17 00:00:00 2001 From: Philip Offtermatt <57488781+p-offtermatt@users.noreply.github.com> Date: Fri, 15 Dec 2023 11:26:25 +0100 Subject: [PATCH 2/2] Update tests/mbt/driver/generate_more_traces.sh Co-authored-by: Simon Noetzlin --- tests/mbt/driver/generate_more_traces.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tests/mbt/driver/generate_more_traces.sh b/tests/mbt/driver/generate_more_traces.sh index 74e73eb262..9af4da82e9 100755 --- a/tests/mbt/driver/generate_more_traces.sh +++ b/tests/mbt/driver/generate_more_traces.sh @@ -1,3 +1,5 @@ +#!/bin/bash + echo "Generating bounded drift traces with timeouts" go run ./... -modelPath=../model/ccv_boundeddrift.qnt -step stepBoundedDrift -invariant CanTimeoutConsumer -traceFolder traces/bound_timeout -numTraces 20 -numSteps 200 -numSamples 200 echo "Generating long bounded drift traces without invariants"