@@ -1370,11 +1370,75 @@ class RsControlFlowGraphTest : RsTestBase() {
1370
1370
"68: infinite_macro ! ( )" -> "69: infinite_macro ! ( )";
1371
1371
"69: infinite_macro ! ( )" -> "70: infinite_macro ! ( )";
1372
1372
"70: infinite_macro ! ( )" -> "71: infinite_macro ! ( )";
1373
- "71: infinite_macro ! ( )" -> "72: infinite_macro ! ( );";
1374
- "72: infinite_macro ! ( );" -> "73: 2";
1375
- "73: 2" -> "74: 2;";
1376
- "74: 2;" -> "75: BLOCK";
1377
- "75: BLOCK" -> "1: Exit";
1373
+ "71: infinite_macro ! ( )" -> "72: infinite_macro ! ( )";
1374
+ "72: infinite_macro ! ( )" -> "73: infinite_macro ! ( )";
1375
+ "73: infinite_macro ! ( )" -> "74: infinite_macro ! ( )";
1376
+ "74: infinite_macro ! ( )" -> "75: infinite_macro ! ( )";
1377
+ "75: infinite_macro ! ( )" -> "76: infinite_macro ! ( )";
1378
+ "76: infinite_macro ! ( )" -> "77: infinite_macro ! ( )";
1379
+ "77: infinite_macro ! ( )" -> "78: infinite_macro ! ( )";
1380
+ "78: infinite_macro ! ( )" -> "79: infinite_macro ! ( )";
1381
+ "79: infinite_macro ! ( )" -> "80: infinite_macro ! ( )";
1382
+ "80: infinite_macro ! ( )" -> "81: infinite_macro ! ( )";
1383
+ "81: infinite_macro ! ( )" -> "82: infinite_macro ! ( )";
1384
+ "82: infinite_macro ! ( )" -> "83: infinite_macro ! ( )";
1385
+ "83: infinite_macro ! ( )" -> "84: infinite_macro ! ( )";
1386
+ "84: infinite_macro ! ( )" -> "85: infinite_macro ! ( )";
1387
+ "85: infinite_macro ! ( )" -> "86: infinite_macro ! ( )";
1388
+ "86: infinite_macro ! ( )" -> "87: infinite_macro ! ( )";
1389
+ "87: infinite_macro ! ( )" -> "88: infinite_macro ! ( )";
1390
+ "88: infinite_macro ! ( )" -> "89: infinite_macro ! ( )";
1391
+ "89: infinite_macro ! ( )" -> "90: infinite_macro ! ( )";
1392
+ "90: infinite_macro ! ( )" -> "91: infinite_macro ! ( )";
1393
+ "91: infinite_macro ! ( )" -> "92: infinite_macro ! ( )";
1394
+ "92: infinite_macro ! ( )" -> "93: infinite_macro ! ( )";
1395
+ "93: infinite_macro ! ( )" -> "94: infinite_macro ! ( )";
1396
+ "94: infinite_macro ! ( )" -> "95: infinite_macro ! ( )";
1397
+ "95: infinite_macro ! ( )" -> "96: infinite_macro ! ( )";
1398
+ "96: infinite_macro ! ( )" -> "97: infinite_macro ! ( )";
1399
+ "97: infinite_macro ! ( )" -> "98: infinite_macro ! ( )";
1400
+ "98: infinite_macro ! ( )" -> "99: infinite_macro ! ( )";
1401
+ "99: infinite_macro ! ( )" -> "100: infinite_macro ! ( )";
1402
+ "100: infinite_macro ! ( )" -> "101: infinite_macro ! ( )";
1403
+ "101: infinite_macro ! ( )" -> "102: infinite_macro ! ( )";
1404
+ "102: infinite_macro ! ( )" -> "103: infinite_macro ! ( )";
1405
+ "103: infinite_macro ! ( )" -> "104: infinite_macro ! ( )";
1406
+ "104: infinite_macro ! ( )" -> "105: infinite_macro ! ( )";
1407
+ "105: infinite_macro ! ( )" -> "106: infinite_macro ! ( )";
1408
+ "106: infinite_macro ! ( )" -> "107: infinite_macro ! ( )";
1409
+ "107: infinite_macro ! ( )" -> "108: infinite_macro ! ( )";
1410
+ "108: infinite_macro ! ( )" -> "109: infinite_macro ! ( )";
1411
+ "109: infinite_macro ! ( )" -> "110: infinite_macro ! ( )";
1412
+ "110: infinite_macro ! ( )" -> "111: infinite_macro ! ( )";
1413
+ "111: infinite_macro ! ( )" -> "112: infinite_macro ! ( )";
1414
+ "112: infinite_macro ! ( )" -> "113: infinite_macro ! ( )";
1415
+ "113: infinite_macro ! ( )" -> "114: infinite_macro ! ( )";
1416
+ "114: infinite_macro ! ( )" -> "115: infinite_macro ! ( )";
1417
+ "115: infinite_macro ! ( )" -> "116: infinite_macro ! ( )";
1418
+ "116: infinite_macro ! ( )" -> "117: infinite_macro ! ( )";
1419
+ "117: infinite_macro ! ( )" -> "118: infinite_macro ! ( )";
1420
+ "118: infinite_macro ! ( )" -> "119: infinite_macro ! ( )";
1421
+ "119: infinite_macro ! ( )" -> "120: infinite_macro ! ( )";
1422
+ "120: infinite_macro ! ( )" -> "121: infinite_macro ! ( )";
1423
+ "121: infinite_macro ! ( )" -> "122: infinite_macro ! ( )";
1424
+ "122: infinite_macro ! ( )" -> "123: infinite_macro ! ( )";
1425
+ "123: infinite_macro ! ( )" -> "124: infinite_macro ! ( )";
1426
+ "124: infinite_macro ! ( )" -> "125: infinite_macro ! ( )";
1427
+ "125: infinite_macro ! ( )" -> "126: infinite_macro ! ( )";
1428
+ "126: infinite_macro ! ( )" -> "127: infinite_macro ! ( )";
1429
+ "127: infinite_macro ! ( )" -> "128: infinite_macro ! ( )";
1430
+ "128: infinite_macro ! ( )" -> "129: infinite_macro ! ( )";
1431
+ "129: infinite_macro ! ( )" -> "130: infinite_macro ! ( )";
1432
+ "130: infinite_macro ! ( )" -> "131: infinite_macro ! ( )";
1433
+ "131: infinite_macro ! ( )" -> "132: infinite_macro ! ( )";
1434
+ "132: infinite_macro ! ( )" -> "133: infinite_macro ! ( )";
1435
+ "133: infinite_macro ! ( )" -> "134: infinite_macro ! ( )";
1436
+ "134: infinite_macro ! ( )" -> "135: infinite_macro ! ( )";
1437
+ "135: infinite_macro ! ( )" -> "136: infinite_macro ! ( );";
1438
+ "136: infinite_macro ! ( );" -> "137: 2";
1439
+ "137: 2" -> "138: 2;";
1440
+ "138: 2;" -> "139: BLOCK";
1441
+ "139: BLOCK" -> "1: Exit";
1378
1442
"1: Exit" -> "2: Termination";
1379
1443
}
1380
1444
""" )
0 commit comments