ASSERT_EQ(P->consumeStateBlockNotificationMap().size(),(unsignedint)(/*2 + */3));// consume empties the notification map, so only should contain notification since last call
ASSERT_EQ(P->consumeStateBlockNotificationMap().size(),(unsignedint)(2/* + 3*/));// consume empties the notification map, so only should contain notification since last call
ASSERT_EQ(P->consumeStateBlockNotificationMap().size(),(unsignedint)(/*2 + 3*/+2));// consume empties the notification map, so only should contain notification since last call
// P->print(4,1,1,1);
...
...
@@ -232,6 +233,8 @@ TEST(Problem, StateBlocks)
// change some SB properties
St->unfixExtrinsics();
ASSERT_TRUE(P->consumeStateBlockNotificationMap().empty());// changes in state_blocks status (fix/state/localparam) does not raise a notification in problem, only ADD/REMOVE