Skip to content

Commit 3cd2231

Browse files
jketemajketema
committed
C++: Update expected test results after extractor changes
1 parent fbcb65a commit 3cd2231

File tree

5 files changed

+89
-89
lines changed

5 files changed

+89
-89
lines changed

‎cpp/ql/test/library-tests/builtins/complex/builtin.expected‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
| complex.c:3:23:3:51 | __builtin_complex | file://:0:0:0:0 | _Complex double | complex.c:3:41:3:44 | real | file://:0:0:0:0 | double | complex.c:3:47:3:50 | imag | file://:0:0:0:0 | double |
2-
| complex.c:4:23:4:57 | __builtin_complex | file://:0:0:0:0 | _Complex double | complex.c:4:41:4:47 | 2.71828000000000003 | file://:0:0:0:0 | double | complex.c:4:50:4:56 | 3.141589999999999883 | file://:0:0:0:0 | double |
2+
| complex.c:4:23:4:57 | __builtin_complex | file://:0:0:0:0 | _Complex double | complex.c:4:41:4:47 | 2.71828 | file://:0:0:0:0 | double | complex.c:4:50:4:56 | 3.14159 | file://:0:0:0:0 | double |
33
| complex.c:8:22:8:52 | __builtin_complex | file://:0:0:0:0 | _Complex float | complex.c:8:40:8:44 | realf | file://:0:0:0:0 | float | complex.c:8:47:8:51 | imagf | file://:0:0:0:0 | float |
4-
| complex.c:9:22:9:52 | __builtin_complex | file://:0:0:0:0 | _Complex float | complex.c:9:40:9:44 | 1.230000019 | file://:0:0:0:0 | float | complex.c:9:47:9:51 | 4.559999943 | file://:0:0:0:0 | float |
4+
| complex.c:9:22:9:52 | __builtin_complex | file://:0:0:0:0 | _Complex float | complex.c:9:40:9:44 | 1.23 | file://:0:0:0:0 | float | complex.c:9:47:9:51 | 4.56 | file://:0:0:0:0 | float |

‎cpp/ql/test/library-tests/controlflow/guards/GuardsCompare.expected‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -298,16 +298,16 @@
298298
| test.c:182:8:182:34 | ! ... | ! ... == 1 when ! ... is true |
299299
| test.c:182:8:182:34 | ! ... | ... && ... != 0 when ! ... is false |
300300
| test.c:182:8:182:34 | ! ... | ... && ... == 0 when ! ... is true |
301-
| test.c:182:10:182:20 | ... >= ... | 9.999999999999999547e-07 < foo+1 when ... >= ... is true |
302-
| test.c:182:10:182:20 | ... >= ... | 9.999999999999999547e-07 >= foo+1 when ... >= ... is false |
301+
| test.c:182:10:182:20 | ... >= ... | 1.0E-6 < foo+1 when ... >= ... is true |
302+
| test.c:182:10:182:20 | ... >= ... | 1.0E-6 >= foo+1 when ... >= ... is false |
303303
| test.c:182:10:182:20 | ... >= ... | ... >= ... != 0 when ... >= ... is true |
304304
| test.c:182:10:182:20 | ... >= ... | ... >= ... != 1 when ... >= ... is false |
305305
| test.c:182:10:182:20 | ... >= ... | ... >= ... == 0 when ... >= ... is false |
306306
| test.c:182:10:182:20 | ... >= ... | ... >= ... == 1 when ... >= ... is true |
307-
| test.c:182:10:182:20 | ... >= ... | foo < 9.999999999999999547e-07+0 when ... >= ... is false |
308-
| test.c:182:10:182:20 | ... >= ... | foo >= 9.999999999999999547e-07+0 when ... >= ... is true |
307+
| test.c:182:10:182:20 | ... >= ... | foo < 1.0E-6+0 when ... >= ... is false |
308+
| test.c:182:10:182:20 | ... >= ... | foo >= 1.0E-6+0 when ... >= ... is true |
309309
| test.c:182:10:182:33 | ... && ... | 1.0 >= foo+1 when ... && ... is true |
310-
| test.c:182:10:182:33 | ... && ... | 9.999999999999999547e-07 < foo+1 when ... && ... is true |
310+
| test.c:182:10:182:33 | ... && ... | 1.0E-6 < foo+1 when ... && ... is true |
311311
| test.c:182:10:182:33 | ... && ... | ! ... != 0 when ... && ... is false |
312312
| test.c:182:10:182:33 | ... && ... | ! ... != 1 when ... && ... is true |
313313
| test.c:182:10:182:33 | ... && ... | ! ... == 0 when ... && ... is true |
@@ -319,7 +319,7 @@
319319
| test.c:182:10:182:33 | ... && ... | ... >= ... != 0 when ... && ... is true |
320320
| test.c:182:10:182:33 | ... && ... | ... >= ... == 1 when ... && ... is true |
321321
| test.c:182:10:182:33 | ... && ... | foo < 1.0+0 when ... && ... is true |
322-
| test.c:182:10:182:33 | ... && ... | foo >= 9.999999999999999547e-07+0 when ... && ... is true |
322+
| test.c:182:10:182:33 | ... && ... | foo >= 1.0E-6+0 when ... && ... is true |
323323
| test.c:182:25:182:33 | ... < ... | 1.0 < foo+1 when ... < ... is false |
324324
| test.c:182:25:182:33 | ... < ... | 1.0 >= foo+1 when ... < ... is true |
325325
| test.c:182:25:182:33 | ... < ... | ... < ... != 0 when ... < ... is true |

‎cpp/ql/test/library-tests/controlflow/guards/GuardsEnsure.expected‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -169,12 +169,12 @@ binary
169169
| test.c:176:8:176:15 | ! ... | test.c:176:14:176:14 | b | < | test.c:176:10:176:10 | a | 1 | test.c:176:18:178:5 | { ... } |
170170
| test.c:176:10:176:14 | ... < ... | test.c:176:10:176:10 | a | >= | test.c:176:14:176:14 | b | 0 | test.c:176:18:178:5 | { ... } |
171171
| test.c:176:10:176:14 | ... < ... | test.c:176:14:176:14 | b | < | test.c:176:10:176:10 | a | 1 | test.c:176:18:178:5 | { ... } |
172-
| test.c:182:10:182:20 | ... >= ... | test.c:182:10:182:12 | foo | >= | test.c:182:17:182:20 | 9.999999999999999547e-07 | 0 | test.c:181:25:182:20 | { ... } |
173-
| test.c:182:10:182:20 | ... >= ... | test.c:182:10:182:12 | foo | >= | test.c:182:17:182:20 | 9.999999999999999547e-07 | 0 | test.c:182:25:182:33 | foo |
174-
| test.c:182:10:182:20 | ... >= ... | test.c:182:17:182:20 | 9.999999999999999547e-07 | < | test.c:182:10:182:12 | foo | 1 | test.c:181:25:182:20 | { ... } |
175-
| test.c:182:10:182:20 | ... >= ... | test.c:182:17:182:20 | 9.999999999999999547e-07 | < | test.c:182:10:182:12 | foo | 1 | test.c:182:25:182:33 | foo |
176-
| test.c:182:10:182:33 | ... && ... | test.c:182:10:182:12 | foo | >= | test.c:182:17:182:20 | 9.999999999999999547e-07 | 0 | test.c:181:25:182:20 | { ... } |
177-
| test.c:182:10:182:33 | ... && ... | test.c:182:17:182:20 | 9.999999999999999547e-07 | < | test.c:182:10:182:12 | foo | 1 | test.c:181:25:182:20 | { ... } |
172+
| test.c:182:10:182:20 | ... >= ... | test.c:182:10:182:12 | foo | >= | test.c:182:17:182:20 | 1.0E-6 | 0 | test.c:181:25:182:20 | { ... } |
173+
| test.c:182:10:182:20 | ... >= ... | test.c:182:10:182:12 | foo | >= | test.c:182:17:182:20 | 1.0E-6 | 0 | test.c:182:25:182:33 | foo |
174+
| test.c:182:10:182:20 | ... >= ... | test.c:182:17:182:20 | 1.0E-6 | < | test.c:182:10:182:12 | foo | 1 | test.c:181:25:182:20 | { ... } |
175+
| test.c:182:10:182:20 | ... >= ... | test.c:182:17:182:20 | 1.0E-6 | < | test.c:182:10:182:12 | foo | 1 | test.c:182:25:182:33 | foo |
176+
| test.c:182:10:182:33 | ... && ... | test.c:182:10:182:12 | foo | >= | test.c:182:17:182:20 | 1.0E-6 | 0 | test.c:181:25:182:20 | { ... } |
177+
| test.c:182:10:182:33 | ... && ... | test.c:182:17:182:20 | 1.0E-6 | < | test.c:182:10:182:12 | foo | 1 | test.c:181:25:182:20 | { ... } |
178178
| test.c:182:10:182:33 | ... && ... | test.c:182:25:182:27 | foo | < | test.c:182:31:182:33 | 1.0 | 0 | test.c:181:25:182:20 | { ... } |
179179
| test.c:182:10:182:33 | ... && ... | test.c:182:31:182:33 | 1.0 | >= | test.c:182:25:182:27 | foo | 1 | test.c:181:25:182:20 | { ... } |
180180
| test.c:182:25:182:33 | ... < ... | test.c:182:25:182:27 | foo | < | test.c:182:31:182:33 | 1.0 | 0 | test.c:181:25:182:20 | { ... } |

‎cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/nrOfBounds.expected‎

Lines changed: 71 additions & 71 deletions
Original file line numberDiff line numberDiff line change
@@ -1293,12 +1293,12 @@ estimateNrOfBounds
12931293
| test.c:415:26:415:69 | ... ? ... : ... | 1.0 |
12941294
| test.c:415:30:415:30 | q | 1.0 |
12951295
| test.c:415:30:415:56 | ... ? ... : ... | 1.0 |
1296-
| test.c:415:34:415:43 | 0.4743882700000000008 | 1.0 |
1297-
| test.c:415:47:415:56 | 0.1433388700000000071 | 1.0 |
1298-
| test.c:415:60:415:69 | 0.3527920299999999787 | 1.0 |
1299-
| test.c:415:73:415:82 | 0.3920645799999999959 | 1.0 |
1300-
| test.c:415:86:415:95 | 0.2154022499999999896 | 1.0 |
1301-
| test.c:415:99:415:108 | 0.4049680500000000238 | 1.0 |
1296+
| test.c:415:34:415:43 | 0.47438827 | 1.0 |
1297+
| test.c:415:47:415:56 | 0.14333887 | 1.0 |
1298+
| test.c:415:60:415:69 | 0.35279203 | 1.0 |
1299+
| test.c:415:73:415:82 | 0.39206458 | 1.0 |
1300+
| test.c:415:86:415:95 | 0.21540225 | 1.0 |
1301+
| test.c:415:99:415:108 | 0.40496805 | 1.0 |
13021302
| test.c:416:14:416:14 | m | 2.0 |
13031303
| test.c:416:14:416:108 | ... ? ... : ... | 1.0 |
13041304
| test.c:416:18:416:18 | n | 3.0 |
@@ -1309,12 +1309,12 @@ estimateNrOfBounds
13091309
| test.c:416:26:416:69 | ... ? ... : ... | 1.0 |
13101310
| test.c:416:30:416:30 | q | 3.0 |
13111311
| test.c:416:30:416:56 | ... ? ... : ... | 1.0 |
1312-
| test.c:416:34:416:43 | 0.3418334800000000229 | 1.0 |
1313-
| test.c:416:47:416:56 | 0.3533464000000000049 | 1.0 |
1314-
| test.c:416:60:416:69 | 0.2224785300000000077 | 1.0 |
1315-
| test.c:416:73:416:82 | 0.326618929999999974 | 1.0 |
1316-
| test.c:416:86:416:95 | 0.5927046500000000551 | 1.0 |
1317-
| test.c:416:99:416:108 | 0.5297741000000000255 | 1.0 |
1312+
| test.c:416:34:416:43 | 0.34183348 | 1.0 |
1313+
| test.c:416:47:416:56 | 0.3533464 | 1.0 |
1314+
| test.c:416:60:416:69 | 0.22247853 | 1.0 |
1315+
| test.c:416:73:416:82 | 0.32661893 | 1.0 |
1316+
| test.c:416:86:416:95 | 0.59270465 | 1.0 |
1317+
| test.c:416:99:416:108 | 0.5297741 | 1.0 |
13181318
| test.c:417:14:417:14 | m | 4.0 |
13191319
| test.c:417:14:417:108 | ... ? ... : ... | 1.0 |
13201320
| test.c:417:18:417:18 | n | 9.0 |
@@ -1325,12 +1325,12 @@ estimateNrOfBounds
13251325
| test.c:417:26:417:69 | ... ? ... : ... | 1.0 |
13261326
| test.c:417:30:417:30 | q | 9.0 |
13271327
| test.c:417:30:417:56 | ... ? ... : ... | 1.0 |
1328-
| test.c:417:34:417:43 | 0.774296030000000024 | 1.0 |
1329-
| test.c:417:47:417:56 | 0.3147808400000000062 | 1.0 |
1330-
| test.c:417:60:417:69 | 0.3123551399999999756 | 1.0 |
1331-
| test.c:417:73:417:82 | 0.05121255999999999725 | 1.0 |
1332-
| test.c:417:86:417:95 | 0.7931074500000000471 | 1.0 |
1333-
| test.c:417:99:417:108 | 0.6798145100000000385 | 1.0 |
1328+
| test.c:417:34:417:43 | 0.77429603 | 1.0 |
1329+
| test.c:417:47:417:56 | 0.31478084 | 1.0 |
1330+
| test.c:417:60:417:69 | 0.31235514 | 1.0 |
1331+
| test.c:417:73:417:82 | 0.05121256 | 1.0 |
1332+
| test.c:417:86:417:95 | 0.79310745 | 1.0 |
1333+
| test.c:417:99:417:108 | 0.67981451 | 1.0 |
13341334
| test.c:418:14:418:14 | m | 8.0 |
13351335
| test.c:418:14:418:108 | ... ? ... : ... | 1.0 |
13361336
| test.c:418:18:418:18 | n | 27.0 |
@@ -1341,12 +1341,12 @@ estimateNrOfBounds
13411341
| test.c:418:26:418:69 | ... ? ... : ... | 1.0 |
13421342
| test.c:418:30:418:30 | q | 27.0 |
13431343
| test.c:418:30:418:56 | ... ? ... : ... | 1.0 |
1344-
| test.c:418:34:418:43 | 0.4472955599999999809 | 1.0 |
1345-
| test.c:418:47:418:56 | 0.8059920200000000312 | 1.0 |
1346-
| test.c:418:60:418:69 | 0.9899726199999999698 | 1.0 |
1347-
| test.c:418:73:418:82 | 0.5995273199999999747 | 1.0 |
1348-
| test.c:418:86:418:95 | 0.3697694799999999837 | 1.0 |
1349-
| test.c:418:99:418:108 | 0.8386683499999999514 | 1.0 |
1344+
| test.c:418:34:418:43 | 0.44729556 | 1.0 |
1345+
| test.c:418:47:418:56 | 0.80599202 | 1.0 |
1346+
| test.c:418:60:418:69 | 0.98997262 | 1.0 |
1347+
| test.c:418:73:418:82 | 0.59952732 | 1.0 |
1348+
| test.c:418:86:418:95 | 0.36976948 | 1.0 |
1349+
| test.c:418:99:418:108 | 0.83866835 | 1.0 |
13501350
| test.c:419:14:419:14 | m | 16.0 |
13511351
| test.c:419:14:419:108 | ... ? ... : ... | 1.0 |
13521352
| test.c:419:18:419:18 | n | 81.0 |
@@ -1357,12 +1357,12 @@ estimateNrOfBounds
13571357
| test.c:419:26:419:69 | ... ? ... : ... | 1.0 |
13581358
| test.c:419:30:419:30 | q | 81.0 |
13591359
| test.c:419:30:419:56 | ... ? ... : ... | 1.0 |
1360-
| test.c:419:34:419:43 | 0.4931182800000000199 | 1.0 |
1361-
| test.c:419:47:419:56 | 0.9038991100000000056 | 1.0 |
1362-
| test.c:419:60:419:69 | 0.1059771199999999941 | 1.0 |
1363-
| test.c:419:73:419:82 | 0.2177842600000000073 | 1.0 |
1364-
| test.c:419:86:419:95 | 0.7248596600000000167 | 1.0 |
1365-
| test.c:419:99:419:108 | 0.6873487400000000136 | 1.0 |
1360+
| test.c:419:34:419:43 | 0.49311828 | 1.0 |
1361+
| test.c:419:47:419:56 | 0.90389911 | 1.0 |
1362+
| test.c:419:60:419:69 | 0.10597712 | 1.0 |
1363+
| test.c:419:73:419:82 | 0.21778426 | 1.0 |
1364+
| test.c:419:86:419:95 | 0.72485966 | 1.0 |
1365+
| test.c:419:99:419:108 | 0.68734874 | 1.0 |
13661366
| test.c:420:14:420:14 | m | 32.0 |
13671367
| test.c:420:14:420:108 | ... ? ... : ... | 1.0 |
13681368
| test.c:420:18:420:18 | n | 243.0 |
@@ -1373,12 +1373,12 @@ estimateNrOfBounds
13731373
| test.c:420:26:420:69 | ... ? ... : ... | 1.0 |
13741374
| test.c:420:30:420:30 | q | 243.0 |
13751375
| test.c:420:30:420:56 | ... ? ... : ... | 1.0 |
1376-
| test.c:420:34:420:43 | 0.4745284799999999747 | 1.0 |
1377-
| test.c:420:47:420:56 | 0.107866500000000004 | 1.0 |
1378-
| test.c:420:60:420:69 | 0.1188457599999999947 | 1.0 |
1379-
| test.c:420:73:420:82 | 0.7616405200000000431 | 1.0 |
1380-
| test.c:420:86:420:95 | 0.3480889200000000239 | 1.0 |
1381-
| test.c:420:99:420:108 | 0.584408649999999974 | 1.0 |
1376+
| test.c:420:34:420:43 | 0.47452848 | 1.0 |
1377+
| test.c:420:47:420:56 | 0.1078665 | 1.0 |
1378+
| test.c:420:60:420:69 | 0.11884576 | 1.0 |
1379+
| test.c:420:73:420:82 | 0.76164052 | 1.0 |
1380+
| test.c:420:86:420:95 | 0.34808892 | 1.0 |
1381+
| test.c:420:99:420:108 | 0.58440865 | 1.0 |
13821382
| test.c:421:14:421:14 | m | 64.0 |
13831383
| test.c:421:14:421:108 | ... ? ... : ... | 1.0 |
13841384
| test.c:421:18:421:18 | n | 729.0 |
@@ -1390,11 +1390,11 @@ estimateNrOfBounds
13901390
| test.c:421:30:421:30 | q | 729.0 |
13911391
| test.c:421:30:421:56 | ... ? ... : ... | 1.0 |
13921392
| test.c:421:34:421:43 | 0.02524326 | 1.0 |
1393-
| test.c:421:47:421:56 | 0.8290504600000000446 | 1.0 |
1394-
| test.c:421:60:421:69 | 0.95823075000000002 | 1.0 |
1395-
| test.c:421:73:421:82 | 0.1251655799999999985 | 1.0 |
1396-
| test.c:421:86:421:95 | 0.8523517900000000536 | 1.0 |
1397-
| test.c:421:99:421:108 | 0.3623238400000000081 | 1.0 |
1393+
| test.c:421:47:421:56 | 0.82905046 | 1.0 |
1394+
| test.c:421:60:421:69 | 0.95823075 | 1.0 |
1395+
| test.c:421:73:421:82 | 0.12516558 | 1.0 |
1396+
| test.c:421:86:421:95 | 0.85235179 | 1.0 |
1397+
| test.c:421:99:421:108 | 0.36232384 | 1.0 |
13981398
| test.c:422:14:422:14 | m | 128.0 |
13991399
| test.c:422:14:422:108 | ... ? ... : ... | 1.0 |
14001400
| test.c:422:18:422:18 | n | 2187.0 |
@@ -1405,12 +1405,12 @@ estimateNrOfBounds
14051405
| test.c:422:26:422:69 | ... ? ... : ... | 1.0 |
14061406
| test.c:422:30:422:30 | q | 2187.0 |
14071407
| test.c:422:30:422:56 | ... ? ... : ... | 1.0 |
1408-
| test.c:422:34:422:43 | 0.3870862600000000153 | 1.0 |
1409-
| test.c:422:47:422:56 | 0.3287604399999999871 | 1.0 |
1410-
| test.c:422:60:422:69 | 0.1496348500000000137 | 1.0 |
1411-
| test.c:422:73:422:82 | 0.4504110800000000192 | 1.0 |
1412-
| test.c:422:86:422:95 | 0.4864090899999999884 | 1.0 |
1413-
| test.c:422:99:422:108 | 0.8433127200000000157 | 1.0 |
1408+
| test.c:422:34:422:43 | 0.38708626 | 1.0 |
1409+
| test.c:422:47:422:56 | 0.32876044 | 1.0 |
1410+
| test.c:422:60:422:69 | 0.14963485 | 1.0 |
1411+
| test.c:422:73:422:82 | 0.45041108 | 1.0 |
1412+
| test.c:422:86:422:95 | 0.48640909 | 1.0 |
1413+
| test.c:422:99:422:108 | 0.84331272 | 1.0 |
14141414
| test.c:423:14:423:14 | m | 256.0 |
14151415
| test.c:423:14:423:108 | ... ? ... : ... | 1.0 |
14161416
| test.c:423:18:423:18 | n | 6561.0 |
@@ -1421,12 +1421,12 @@ estimateNrOfBounds
14211421
| test.c:423:26:423:69 | ... ? ... : ... | 1.0 |
14221422
| test.c:423:30:423:30 | q | 6561.0 |
14231423
| test.c:423:30:423:56 | ... ? ... : ... | 1.0 |
1424-
| test.c:423:34:423:43 | 0.1575506299999999971 | 1.0 |
1425-
| test.c:423:47:423:56 | 0.7708683299999999905 | 1.0 |
1426-
| test.c:423:60:423:69 | 0.2642848099999999811 | 1.0 |
1427-
| test.c:423:73:423:82 | 0.1480050800000000111 | 1.0 |
1428-
| test.c:423:86:423:95 | 0.374281430000000026 | 1.0 |
1429-
| test.c:423:99:423:108 | 0.05328182000000000057 | 1.0 |
1424+
| test.c:423:34:423:43 | 0.15755063 | 1.0 |
1425+
| test.c:423:47:423:56 | 0.77086833 | 1.0 |
1426+
| test.c:423:60:423:69 | 0.26428481 | 1.0 |
1427+
| test.c:423:73:423:82 | 0.14800508 | 1.0 |
1428+
| test.c:423:86:423:95 | 0.37428143 | 1.0 |
1429+
| test.c:423:99:423:108 | 0.05328182 | 1.0 |
14301430
| test.c:424:14:424:14 | m | 512.0 |
14311431
| test.c:424:14:424:108 | ... ? ... : ... | 1.0 |
14321432
| test.c:424:18:424:18 | n | 19683.0 |
@@ -1437,12 +1437,12 @@ estimateNrOfBounds
14371437
| test.c:424:26:424:69 | ... ? ... : ... | 1.0 |
14381438
| test.c:424:30:424:30 | q | 19683.0 |
14391439
| test.c:424:30:424:56 | ... ? ... : ... | 1.0 |
1440-
| test.c:424:34:424:43 | 0.4173653600000000186 | 1.0 |
1441-
| test.c:424:47:424:56 | 0.7682662799999999681 | 1.0 |
1442-
| test.c:424:60:424:69 | 0.2764323799999999776 | 1.0 |
1443-
| test.c:424:73:424:82 | 0.5567927400000000082 | 1.0 |
1444-
| test.c:424:86:424:95 | 0.3946885700000000163 | 1.0 |
1445-
| test.c:424:99:424:108 | 0.6907214400000000198 | 1.0 |
1440+
| test.c:424:34:424:43 | 0.41736536 | 1.0 |
1441+
| test.c:424:47:424:56 | 0.76826628 | 1.0 |
1442+
| test.c:424:60:424:69 | 0.27643238 | 1.0 |
1443+
| test.c:424:73:424:82 | 0.55679274 | 1.0 |
1444+
| test.c:424:86:424:95 | 0.39468857 | 1.0 |
1445+
| test.c:424:99:424:108 | 0.69072144 | 1.0 |
14461446
| test.c:425:14:425:14 | m | 1024.0 |
14471447
| test.c:425:14:425:108 | ... ? ... : ... | 1.0 |
14481448
| test.c:425:18:425:18 | n | 59049.0 |
@@ -1453,12 +1453,12 @@ estimateNrOfBounds
14531453
| test.c:425:26:425:69 | ... ? ... : ... | 1.0 |
14541454
| test.c:425:30:425:30 | q | 59049.0 |
14551455
| test.c:425:30:425:56 | ... ? ... : ... | 1.0 |
1456-
| test.c:425:34:425:43 | 0.8895534499999999678 | 1.0 |
1457-
| test.c:425:47:425:56 | 0.2990482400000000207 | 1.0 |
1458-
| test.c:425:60:425:69 | 0.7624258299999999711 | 1.0 |
1459-
| test.c:425:73:425:82 | 0.2051910999999999874 | 1.0 |
1460-
| test.c:425:86:425:95 | 0.8874555899999999609 | 1.0 |
1461-
| test.c:425:99:425:108 | 0.8137279800000000174 | 1.0 |
1456+
| test.c:425:34:425:43 | 0.88955345 | 1.0 |
1457+
| test.c:425:47:425:56 | 0.29904824 | 1.0 |
1458+
| test.c:425:60:425:69 | 0.76242583 | 1.0 |
1459+
| test.c:425:73:425:82 | 0.2051911 | 1.0 |
1460+
| test.c:425:86:425:95 | 0.88745559 | 1.0 |
1461+
| test.c:425:99:425:108 | 0.81372798 | 1.0 |
14621462
| test.c:426:14:426:14 | m | 2048.0 |
14631463
| test.c:426:14:426:108 | ... ? ... : ... | 1.0 |
14641464
| test.c:426:18:426:18 | n | 177147.0 |
@@ -1469,12 +1469,12 @@ estimateNrOfBounds
14691469
| test.c:426:26:426:69 | ... ? ... : ... | 1.0 |
14701470
| test.c:426:30:426:30 | q | 177147.0 |
14711471
| test.c:426:30:426:56 | ... ? ... : ... | 1.0 |
1472-
| test.c:426:34:426:43 | 0.4218627600000000033 | 1.0 |
1473-
| test.c:426:47:426:56 | 0.5384335799999999672 | 1.0 |
1474-
| test.c:426:60:426:69 | 0.4499667900000000054 | 1.0 |
1475-
| test.c:426:73:426:82 | 0.1320411400000000013 | 1.0 |
1476-
| test.c:426:86:426:95 | 0.5203124099999999475 | 1.0 |
1477-
| test.c:426:99:426:108 | 0.4276264699999999808 | 1.0 |
1472+
| test.c:426:34:426:43 | 0.42186276 | 1.0 |
1473+
| test.c:426:47:426:56 | 0.53843358 | 1.0 |
1474+
| test.c:426:60:426:69 | 0.44996679 | 1.0 |
1475+
| test.c:426:73:426:82 | 0.13204114 | 1.0 |
1476+
| test.c:426:86:426:95 | 0.52031241 | 1.0 |
1477+
| test.c:426:99:426:108 | 0.42762647 | 1.0 |
14781478
| test.c:432:19:432:19 | a | 1.0 |
14791479
| test.c:432:19:432:23 | ... + ... | 1.0 |
14801480
| test.c:432:19:432:27 | ... + ... | 1.0 |

0 commit comments

Comments
 (0)