@@ -3709,8 +3709,8 @@ class TestHolder : public ReproFixture
3709
3709
derek->invite(*jason),
3710
3710
optional(derek->expect(INVITE/100,from(proxy),WaitFor100,derek->noAction())),
3711
3711
derek->expect(INVITE/407,from(proxy),WaitForResponse,chain(derek->ack(),derek->digestRespond())),
3712
- optional(derek->expect(INVITE/100,from(proxy),WaitFor100,derek->noAction())),
3713
- jason->expect(INVITE,contact(derek),WaitForCommand,chain(jason->ring(),jason->answer())),
3712
+ And(Sub( optional(derek->expect(INVITE/100, from(proxy), WaitFor100, derek->noAction() ))),
3713
+ Sub( jason->expect(INVITE,contact(derek),WaitForCommand,chain(jason->ring(),jason->answer()) ))),
3714
3714
derek->expect(INVITE/180,contact(jason),WaitForResponse,derek->noAction()),
3715
3715
derek->expect(INVITE/200,contact(jason),WaitForResponse,chain(ack <= derek->ack(),derek->pause(200),derek->retransmit(ack),derek->pause(200),derek->retransmit(ack),derek->pause(200),derek->retransmit(ack))),
3716
3716
// pauses above are required or we may trigger the following code block in TransactionState:
@@ -3815,8 +3815,8 @@ class TestHolder : public ReproFixture
3815
3815
derek->invite(*jason),
3816
3816
optional(derek->expect(INVITE/100,from(proxy),WaitFor100,derek->noAction())),
3817
3817
derek->expect(INVITE/407,from(proxy),WaitForResponse,chain(derek->ack(),derek->digestRespond())),
3818
- optional(derek->expect(INVITE/100,from(proxy),WaitFor100,derek->noAction())),
3819
- jason->expect(INVITE,from(proxy),WaitForCommand,error <= jason->send503()),
3818
+ And(Sub( optional(derek->expect(INVITE/100, from(proxy), WaitFor100, derek->noAction() ))),
3819
+ Sub( jason->expect(INVITE,from(proxy),WaitForCommand,error <= jason->send503()) )),
3820
3820
3821
3821
And
3822
3822
(
0 commit comments