Semantics\PatternMatchingTests_Global.cs (152)
1932VerifyNotInScope(model, x1Ref[0]);
1933VerifyNotInScope(model, x1Ref[1]);
1950VerifyNotInScope(model, x4Ref);
1958VerifyNotInScope(model, x5Ref[1]);
1959VerifyNotInScope(model, x5Ref[2]);
2002VerifyNotInScope(model, x1Ref[0]);
2003VerifyNotInScope(model, x1Ref[1]);
2020VerifyNotInScope(model, x4Ref);
2028VerifyNotInScope(model, x5Ref[1]);
2029VerifyNotInScope(model, x5Ref[2]);
2103VerifyNotInScope(model, x1Ref[0]);
2104VerifyNotInScope(model, x1Ref[1]);
2121VerifyNotInScope(model, x4Ref);
2129VerifyNotInScope(model, x5Ref[1]);
2130VerifyNotInScope(model, x5Ref[2]);
2173VerifyNotInScope(model, x1Ref[0]);
2174VerifyNotInScope(model, x1Ref[1]);
2191VerifyNotInScope(model, x4Ref);
2199VerifyNotInScope(model, x5Ref[1]);
2200VerifyNotInScope(model, x5Ref[2]);
2306VerifyNotInScope(model, x1Ref[0]);
2307VerifyNotInScope(model, x1Ref[1]);
2324VerifyNotInScope(model, x4Ref);
2332VerifyNotInScope(model, x5Ref[1]);
2333VerifyNotInScope(model, x5Ref[2]);
2376VerifyNotInScope(model, x1Ref[0]);
2377VerifyNotInScope(model, x1Ref[1]);
2394VerifyNotInScope(model, x4Ref);
2402VerifyNotInScope(model, x5Ref[1]);
2403VerifyNotInScope(model, x5Ref[2]);
2478VerifyNotInScope(model, x1Ref[0]);
2479VerifyNotInScope(model, x1Ref[1]);
2496VerifyNotInScope(model, x4Ref);
2504VerifyNotInScope(model, x5Ref[1]);
2505VerifyNotInScope(model, x5Ref[2]);
2548VerifyNotInScope(model, x1Ref[0]);
2549VerifyNotInScope(model, x1Ref[1]);
2566VerifyNotInScope(model, x4Ref);
2574VerifyNotInScope(model, x5Ref[1]);
2575VerifyNotInScope(model, x5Ref[2]);
4983VerifyNotInScope(model, x1Ref[0]);
4984VerifyNotInScope(model, x1Ref[1]);
5001VerifyNotInScope(model, x4Ref);
5006VerifyNotInScope(model, x5Ref);
5149VerifyNotInScope(model, x1Ref[0]);
5150VerifyNotInScope(model, x1Ref[1]);
5167VerifyNotInScope(model, x4Ref);
5172VerifyNotInScope(model, x5Ref);
5483VerifyNotInScope(model, x1Ref[0]);
5484VerifyNotInScope(model, x1Ref[1]);
5501VerifyNotInScope(model, x4Ref);
5506VerifyNotInScope(model, x5Ref);
5511VerifyNotInScope(model, x6Ref);
5668VerifyNotInScope(model, x1Ref[0]);
5669VerifyNotInScope(model, x1Ref[1]);
5686VerifyNotInScope(model, x4Ref);
5691VerifyNotInScope(model, x5Ref);
5696VerifyNotInScope(model, x6Ref);
6151VerifyNotInScope(model, x1Ref[0]);
6152VerifyNotInScope(model, x1Ref[1]);
6243VerifyNotInScope(model, x1Ref[0]);
6244VerifyNotInScope(model, x1Ref[1]);
6542VerifyNotInScope(model, x8Ref[2]);
6553VerifyNotInScope(model, y10Ref[0]);
6630VerifyNotInScope(model, x8Ref[2]);
6641VerifyNotInScope(model, y10Ref[0]);
6743VerifyNotInScope(model, x3Ref);
6776VerifyNotInScope(model, x3Ref);
6975VerifyNotInScope(model, x8Ref[2]);
6986VerifyNotInScope(model, y10Ref[0]);
6990VerifyNotInScope(model, y12Ref);
7073VerifyNotInScope(model, x8Ref[2]);
7084VerifyNotInScope(model, y10Ref[0]);
7088VerifyNotInScope(model, y12Ref);
7292VerifyNotInScope(model, x8Ref[2]);
7303VerifyNotInScope(model, y10Ref[0]);
7307VerifyNotInScope(model, y12Ref);
7396VerifyNotInScope(model, x8Ref[2]);
7407VerifyNotInScope(model, y10Ref[0]);
7411VerifyNotInScope(model, y12Ref);
7554VerifyNotInScope(model, x7Ref[0]);
7555VerifyNotInScope(model, x7Ref[1]);
7557VerifyNotInScope(model, x7Ref[3]);
7558VerifyNotInScope(model, x7Ref[4]);
7648VerifyNotInScope(model, x7Ref[0]);
7649VerifyNotInScope(model, x7Ref[1]);
7651VerifyNotInScope(model, x7Ref[3]);
7652VerifyNotInScope(model, x7Ref[4]);
7946VerifyNotInScope(model, z2Ref[2]);
7947VerifyNotInScope(model, z2Ref[3]);
7958VerifyNotInScope(model, z3Ref[1]);
7959VerifyNotInScope(model, z3Ref[2]);
7975VerifyNotInScope(model, u4Ref[1]);
7976VerifyNotInScope(model, u4Ref[2]);
7977VerifyNotInScope(model, u4Ref[3]);
7982VerifyNotInScope(model, v4Ref[0]);
7984VerifyNotInScope(model, v4Ref[2]);
7985VerifyNotInScope(model, v4Ref[3]);
8001VerifyNotInScope(model, u5Ref[1]);
8002VerifyNotInScope(model, u5Ref[2]);
8003VerifyNotInScope(model, u5Ref[3]);
8008VerifyNotInScope(model, v5Ref[0]);
8010VerifyNotInScope(model, v5Ref[2]);
8011VerifyNotInScope(model, v5Ref[3]);
8022VerifyNotInScope(model, z6Ref[1]);
8023VerifyNotInScope(model, z6Ref[2]);
8034VerifyNotInScope(model, z7Ref[1]);
8035VerifyNotInScope(model, z7Ref[2]);
8036VerifyNotInScope(model, z7Ref[3]);
8041VerifyNotInScope(model, u7Ref[0]);
8043VerifyNotInScope(model, u7Ref[2]);
8044VerifyNotInScope(model, u7Ref[3]);
8055VerifyNotInScope(model, z8Ref[1]);
8066VerifyNotInScope(model, z9Ref[1]);
8067VerifyNotInScope(model, z9Ref[2]);
8072VerifyNotInScope(model, u9Ref[0]);
8074VerifyNotInScope(model, u9Ref[2]);
8205VerifyNotInScope(model, z2Ref[2]);
8206VerifyNotInScope(model, z2Ref[3]);
8217VerifyNotInScope(model, z3Ref[1]);
8218VerifyNotInScope(model, z3Ref[2]);
8234VerifyNotInScope(model, u4Ref[1]);
8235VerifyNotInScope(model, u4Ref[2]);
8236VerifyNotInScope(model, u4Ref[3]);
8241VerifyNotInScope(model, v4Ref[0]);
8243VerifyNotInScope(model, v4Ref[2]);
8244VerifyNotInScope(model, v4Ref[3]);
8260VerifyNotInScope(model, u5Ref[1]);
8261VerifyNotInScope(model, u5Ref[2]);
8262VerifyNotInScope(model, u5Ref[3]);
8267VerifyNotInScope(model, v5Ref[0]);
8269VerifyNotInScope(model, v5Ref[2]);
8270VerifyNotInScope(model, v5Ref[3]);
8281VerifyNotInScope(model, z6Ref[1]);
8282VerifyNotInScope(model, z6Ref[2]);
8293VerifyNotInScope(model, z7Ref[1]);
8294VerifyNotInScope(model, z7Ref[2]);
8295VerifyNotInScope(model, z7Ref[3]);
8300VerifyNotInScope(model, u7Ref[0]);
8302VerifyNotInScope(model, u7Ref[2]);
8303VerifyNotInScope(model, u7Ref[3]);
8314VerifyNotInScope(model, z8Ref[1]);
8325VerifyNotInScope(model, z9Ref[1]);
8326VerifyNotInScope(model, z9Ref[2]);
8331VerifyNotInScope(model, u9Ref[0]);
8333VerifyNotInScope(model, u9Ref[2]);
8514VerifyNotInScope(model, x8Ref[2]);
8529VerifyNotInScope(model, y10Ref[0]);
8533VerifyNotInScope(model, y12Ref);
8613VerifyNotInScope(model, x8Ref[2]);
8628VerifyNotInScope(model, y10Ref[0]);
8632VerifyNotInScope(model, y12Ref);