Started by timer
Running as SYSTEM
[EnvInject] - Loading node environment variables.
Building remotely on sos-builder01 (lin) in workspace /builds/workspace/npefix
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] Done
No credentials specified
Cloning the remote Git repository
Cloning repository https://github.com/Spirals-Team/npefix.git
> git init /builds/workspace/npefix # timeout=10
Fetching upstream changes from https://github.com/Spirals-Team/npefix.git
> git --version # timeout=10
> git fetch --tags --progress https://github.com/Spirals-Team/npefix.git +refs/heads/*:refs/remotes/origin/*
> git config remote.origin.url https://github.com/Spirals-Team/npefix.git # timeout=10
> git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
> git config remote.origin.url https://github.com/Spirals-Team/npefix.git # timeout=10
Fetching upstream changes from https://github.com/Spirals-Team/npefix.git
> git fetch --tags --progress https://github.com/Spirals-Team/npefix.git +refs/heads/*:refs/remotes/origin/*
> git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Checking out Revision 80cfc38d4c3d5244c1a74c86e285193bb2670ea6 (refs/remotes/origin/master)
> git config core.sparsecheckout # timeout=10
> git checkout -f 80cfc38d4c3d5244c1a74c86e285193bb2670ea6
Commit message: "Update README.md"
> git rev-list --no-walk 80cfc38d4c3d5244c1a74c86e285193bb2670ea6 # timeout=10
[npefix] $ /bin/sh -xe /tmp/jenkins1551310691131612739.sh
+ rm -rf /builds/.m2/repository/fr/inria/gforge/spoon
[npefix] $ /bin/sh -xe /tmp/jenkins8787555863674992744.sh
+ mvn versions:use-latest-versions -DallowSnapshots=true
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
[INFO] Scanning for projects...
[INFO] Inspecting build with total of 1 modules...
[INFO] Installing Nexus Staging features:
[INFO] ... total of 1 executions of maven-deploy-plugin replaced with nexus-staging-maven-plugin
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building npefix 0.8-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- versions-maven-plugin:2.4:use-latest-versions (default-cli) @ npefix ---
[INFO] Major version changes allowed
[INFO] artifact junit:junit: checking for updates from gforge.inria.fr-snapshot
[INFO] Updated junit:junit:jar:4.11 to version 4.13
[INFO] artifact org.json:json: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.json:json: checking for updates from central
[INFO] Updated org.json:json:jar:20160212 to version 20190722
[INFO] artifact org.hamcrest:hamcrest-core: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.hamcrest:hamcrest-core: checking for updates from central
[INFO] Updated org.hamcrest:hamcrest-core:jar:1.3 to version 2.2
[INFO] artifact fr.inria.gforge.spoon:spoon-core: checking for updates from gforge.inria.fr-snapshot
[INFO] Updated fr.inria.gforge.spoon:spoon-core:jar:7.5.0-SNAPSHOT to version 8.1.0-SNAPSHOT
[INFO] artifact org.slf4j:slf4j-simple: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.slf4j:slf4j-simple: checking for updates from central
[INFO] Updated org.slf4j:slf4j-simple:jar:1.7.6 to version 2.0.0-alpha1
[INFO] artifact log4j:log4j: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact log4j:log4j: checking for updates from central
[INFO] artifact com.cloudbees:diff4j: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact com.cloudbees:diff4j: checking for updates from central
[INFO] Updated com.cloudbees:diff4j:jar:1.2 to version 1.3
[INFO] artifact org.eclipse.core:org.eclipse.core.runtime: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.core:org.eclipse.core.runtime: checking for updates from central
[INFO] Updated org.eclipse.core:org.eclipse.core.runtime:jar:3.6.0.v20100505 to version 3.7.0
[INFO] artifact org.eclipse.core:org.eclipse.core.resources: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.core:org.eclipse.core.resources: checking for updates from central
[INFO] Updated org.eclipse.core:org.eclipse.core.resources:jar:3.6.0.v20100526-0737 to version 3.7.100
[INFO] artifact org.glassfish.tyrus.bundles:tyrus-standalone-client: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.glassfish.tyrus.bundles:tyrus-standalone-client: checking for updates from central
[INFO] Updated org.glassfish.tyrus.bundles:tyrus-standalone-client:jar:1.13.1 to version 1.15
[INFO] artifact org.apache.maven:maven-model: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.apache.maven:maven-model: checking for updates from central
[INFO] Updated org.apache.maven:maven-model:jar:3.5.0 to version 3.6.3
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 4.583 s
[INFO] Finished at: 2020-02-06T05:24:09+01:00
[INFO] Final Memory: 23M/188M
[INFO] ------------------------------------------------------------------------
+ mvn test
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
[INFO] Scanning for projects...
[INFO] Inspecting build with total of 1 modules...
[INFO] Installing Nexus Staging features:
[INFO] ... total of 1 executions of maven-deploy-plugin replaced with nexus-staging-maven-plugin
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building npefix 0.8-SNAPSHOT
[INFO] ------------------------------------------------------------------------
Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/maven-metadata.xml
[WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon
1017/1017 B
Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/maven-metadata.xml (1017 B at 7.3 KB/sec)
Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/spoon-core-8.1.0-20200205.234146-110.pom
[WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon
4/8 KB
8/8 KB
8/8 KB
Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/spoon-core-8.1.0-20200205.234146-110.pom (8 KB at 252.3 KB/sec)
Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom
[WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon
Downloading: https://repo.maven.apache.org/maven2/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom
2/21 KB
3/21 KB
5/21 KB
6/21 KB
7/21 KB
9/21 KB
10/21 KB
11/21 KB
13/21 KB
14/21 KB
15/21 KB
17/21 KB
18/21 KB
19/21 KB
21/21 KB
21/21 KB
Downloaded: https://repo.maven.apache.org/maven2/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom (21 KB at 104.4 KB/sec)
Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/spoon-core-8.1.0-20200205.234146-110.jar
[WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon
4/1699 KB
8/1699 KB
12/1699 KB
13/1699 KB
17/1699 KB
21/1699 KB
25/1699 KB
29/1699 KB
33/1699 KB
37/1699 KB
41/1699 KB
42/1699 KB
46/1699 KB
50/1699 KB
54/1699 KB
58/1699 KB
62/1699 KB
66/1699 KB
70/1699 KB
74/1699 KB
78/1699 KB
82/1699 KB
86/1699 KB
90/1699 KB
94/1699 KB
98/1699 KB
102/1699 KB
106/1699 KB
110/1699 KB
114/1699 KB
118/1699 KB
122/1699 KB
126/1699 KB
130/1699 KB
134/1699 KB
138/1699 KB
142/1699 KB
146/1699 KB
150/1699 KB
154/1699 KB
158/1699 KB
162/1699 KB
166/1699 KB
170/1699 KB
174/1699 KB
178/1699 KB
182/1699 KB
186/1699 KB
190/1699 KB
194/1699 KB
198/1699 KB
202/1699 KB
206/1699 KB
210/1699 KB
214/1699 KB
218/1699 KB
222/1699 KB
226/1699 KB
230/1699 KB
234/1699 KB
238/1699 KB
242/1699 KB
246/1699 KB
250/1699 KB
254/1699 KB
258/1699 KB
262/1699 KB
266/1699 KB
270/1699 KB
274/1699 KB
278/1699 KB
282/1699 KB
286/1699 KB
290/1699 KB
294/1699 KB
298/1699 KB
302/1699 KB
306/1699 KB
310/1699 KB
314/1699 KB
318/1699 KB
322/1699 KB
326/1699 KB
330/1699 KB
334/1699 KB
338/1699 KB
342/1699 KB
346/1699 KB
350/1699 KB
354/1699 KB
358/1699 KB
362/1699 KB
366/1699 KB
370/1699 KB
374/1699 KB
378/1699 KB
382/1699 KB
386/1699 KB
390/1699 KB
394/1699 KB
398/1699 KB
402/1699 KB
406/1699 KB
410/1699 KB
414/1699 KB
418/1699 KB
422/1699 KB
426/1699 KB
430/1699 KB
434/1699 KB
438/1699 KB
442/1699 KB
446/1699 KB
450/1699 KB
454/1699 KB
458/1699 KB
462/1699 KB
466/1699 KB
470/1699 KB
474/1699 KB
478/1699 KB
482/1699 KB
486/1699 KB
490/1699 KB
494/1699 KB
498/1699 KB
502/1699 KB
506/1699 KB
510/1699 KB
514/1699 KB
518/1699 KB
522/1699 KB
526/1699 KB
530/1699 KB
534/1699 KB
538/1699 KB
542/1699 KB
546/1699 KB
550/1699 KB
554/1699 KB
558/1699 KB
562/1699 KB
566/1699 KB
570/1699 KB
574/1699 KB
578/1699 KB
582/1699 KB
586/1699 KB
590/1699 KB
594/1699 KB
598/1699 KB
602/1699 KB
606/1699 KB
610/1699 KB
614/1699 KB
618/1699 KB
622/1699 KB
626/1699 KB
630/1699 KB
634/1699 KB
638/1699 KB
642/1699 KB
646/1699 KB
650/1699 KB
654/1699 KB
658/1699 KB
662/1699 KB
666/1699 KB
670/1699 KB
674/1699 KB
678/1699 KB
682/1699 KB
686/1699 KB
690/1699 KB
694/1699 KB
698/1699 KB
702/1699 KB
706/1699 KB
710/1699 KB
714/1699 KB
718/1699 KB
722/1699 KB
726/1699 KB
730/1699 KB
734/1699 KB
738/1699 KB
742/1699 KB
746/1699 KB
750/1699 KB
754/1699 KB
758/1699 KB
762/1699 KB
766/1699 KB
770/1699 KB
774/1699 KB
778/1699 KB
782/1699 KB
786/1699 KB
790/1699 KB
794/1699 KB
798/1699 KB
802/1699 KB
806/1699 KB
810/1699 KB
814/1699 KB
818/1699 KB
822/1699 KB
826/1699 KB
830/1699 KB
834/1699 KB
838/1699 KB
842/1699 KB
846/1699 KB
850/1699 KB
854/1699 KB
858/1699 KB
862/1699 KB
866/1699 KB
870/1699 KB
874/1699 KB
878/1699 KB
882/1699 KB
886/1699 KB
890/1699 KB
894/1699 KB
898/1699 KB
902/1699 KB
906/1699 KB
910/1699 KB
914/1699 KB
918/1699 KB
922/1699 KB
926/1699 KB
930/1699 KB
934/1699 KB
938/1699 KB
942/1699 KB
946/1699 KB
950/1699 KB
954/1699 KB
958/1699 KB
962/1699 KB
966/1699 KB
970/1699 KB
974/1699 KB
978/1699 KB
982/1699 KB
986/1699 KB
990/1699 KB
994/1699 KB
998/1699 KB
1002/1699 KB
1006/1699 KB
1010/1699 KB
1014/1699 KB
1018/1699 KB
1022/1699 KB
1026/1699 KB
1030/1699 KB
1034/1699 KB
1038/1699 KB
1042/1699 KB
1046/1699 KB
1050/1699 KB
1054/1699 KB
1058/1699 KB
1062/1699 KB
1066/1699 KB
1070/1699 KB
1074/1699 KB
1078/1699 KB
1082/1699 KB
1086/1699 KB
1090/1699 KB
1094/1699 KB
1098/1699 KB
1102/1699 KB
1106/1699 KB
1110/1699 KB
1114/1699 KB
1118/1699 KB
1122/1699 KB
1126/1699 KB
1130/1699 KB
1134/1699 KB
1138/1699 KB
1142/1699 KB
1146/1699 KB
1150/1699 KB
1154/1699 KB
1158/1699 KB
1162/1699 KB
1166/1699 KB
1170/1699 KB
1174/1699 KB
1178/1699 KB
1182/1699 KB
1186/1699 KB
1190/1699 KB
1194/1699 KB
1198/1699 KB
1202/1699 KB
1206/1699 KB
1210/1699 KB
1214/1699 KB
1218/1699 KB
1222/1699 KB
1226/1699 KB
1230/1699 KB
1234/1699 KB
1238/1699 KB
1242/1699 KB
1246/1699 KB
1250/1699 KB
1254/1699 KB
1258/1699 KB
1262/1699 KB
1266/1699 KB
1270/1699 KB
1274/1699 KB
1278/1699 KB
1282/1699 KB
1286/1699 KB
1290/1699 KB
1294/1699 KB
1298/1699 KB
1302/1699 KB
1306/1699 KB
1310/1699 KB
1314/1699 KB
1318/1699 KB
1322/1699 KB
1326/1699 KB
1330/1699 KB
1334/1699 KB
1336/1699 KB
1340/1699 KB
1344/1699 KB
1344/1699 KB
1348/1699 KB
1352/1699 KB
1356/1699 KB
1360/1699 KB
1364/1699 KB
1368/1699 KB
1372/1699 KB
1376/1699 KB
1380/1699 KB
1384/1699 KB
1388/1699 KB
1392/1699 KB
1396/1699 KB
1400/1699 KB
1404/1699 KB
1408/1699 KB
1412/1699 KB
1416/1699 KB
1420/1699 KB
1424/1699 KB
1428/1699 KB
1432/1699 KB
1436/1699 KB
1440/1699 KB
1444/1699 KB
1448/1699 KB
1452/1699 KB
1456/1699 KB
1460/1699 KB
1464/1699 KB
1468/1699 KB
1472/1699 KB
1476/1699 KB
1480/1699 KB
1484/1699 KB
1488/1699 KB
1492/1699 KB
1496/1699 KB
1500/1699 KB
1504/1699 KB
1508/1699 KB
1512/1699 KB
1515/1699 KB
1519/1699 KB
1522/1699 KB
1526/1699 KB
1530/1699 KB
1531/1699 KB
1535/1699 KB
1536/1699 KB
1539/1699 KB
1543/1699 KB
1547/1699 KB
1549/1699 KB
1553/1699 KB
1556/1699 KB
1560/1699 KB
1563/1699 KB
1567/1699 KB
1571/1699 KB
1575/1699 KB
1579/1699 KB
1583/1699 KB
1587/1699 KB
1591/1699 KB
1595/1699 KB
1596/1699 KB
1600/1699 KB
1604/1699 KB
1608/1699 KB
1611/1699 KB
1614/1699 KB
1616/1699 KB
1620/1699 KB
1624/1699 KB
1628/1699 KB
1632/1699 KB
1636/1699 KB
1640/1699 KB
1644/1699 KB
1648/1699 KB
1652/1699 KB
1656/1699 KB
1660/1699 KB
1664/1699 KB
1668/1699 KB
1672/1699 KB
1676/1699 KB
1680/1699 KB
1684/1699 KB
1688/1699 KB
1692/1699 KB
1696/1699 KB
1699/1699 KB
Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/8.1.0-SNAPSHOT/spoon-core-8.1.0-20200205.234146-110.jar (1699 KB at 5898.2 KB/sec)
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.5.201505241946:prepare-agent (default) @ npefix ---
[INFO] argLine set to -javaagent:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar=destfile=/builds/workspace/npefix/target/jacoco.exec
[INFO]
[INFO] --- build-helper-maven-plugin:1.7:add-source (add-source) @ npefix ---
[INFO] Source directory: /builds/workspace/npefix/src/evaluation/java added.
[INFO] Source directory: /builds/workspace/npefix/src/main/java added.
[INFO]
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ npefix ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ npefix ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 185 source files to /builds/workspace/npefix/target/classes
[INFO] /builds/workspace/npefix/src/main/java/fr/inria/spirals/npefix/main/all/Launcher.java: Some input files use or override a deprecated API.
[INFO] /builds/workspace/npefix/src/main/java/fr/inria/spirals/npefix/main/all/Launcher.java: Recompile with -Xlint:deprecation for details.
[INFO] /builds/workspace/npefix/src/main/java/fr/inria/spirals/npefix/transformer/processors/ProcessorUtility.java: Some input files use unchecked or unsafe operations.
[INFO] /builds/workspace/npefix/src/main/java/fr/inria/spirals/npefix/transformer/processors/ProcessorUtility.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ npefix ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 9 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ npefix ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 17 source files to /builds/workspace/npefix/target/test-classes
[INFO] /builds/workspace/npefix/src/test/java/fr/inria/spirals/npefix/patch/PatchesGeneratorTest.java: Some input files use unchecked or unsafe operations.
[INFO] /builds/workspace/npefix/src/test/java/fr/inria/spirals/npefix/patch/PatchesGeneratorTest.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ npefix ---
[INFO] Surefire report directory: /builds/workspace/npefix/target/surefire-reports
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
Running fr.inria.spirals.npefix.transformer.processors.ConstructorEncapsulationTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
ConstructorEncapsulation # Constructor: 2 in 50ms
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.206 sec - in fr.inria.spirals.npefix.transformer.processors.ConstructorEncapsulationTest
Running fr.inria.spirals.npefix.transformer.processors.ArrayAccessTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.854 sec - in fr.inria.spirals.npefix.transformer.processors.ArrayAccessTest
Running fr.inria.spirals.npefix.transformer.processors.BeforeDerefAdderTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.002 sec - in fr.inria.spirals.npefix.transformer.processors.BeforeDerefAdderTest
Running fr.inria.spirals.npefix.transformer.processors.TernarySplitterTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
TernarySplitter in 10ms
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.239 sec - in fr.inria.spirals.npefix.transformer.processors.TernarySplitterTest
Running fr.inria.spirals.npefix.transformer.processors.ImplicitCastCheckerTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
AddImplicitCastChecker --> 4 in 10ms
BeforeDeref --> 31 (failed:0) in 44ms
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.585 sec - in fr.inria.spirals.npefix.transformer.processors.ImplicitCastCheckerTest
Running fr.inria.spirals.npefix.transformer.processors.CheckNotNullTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
java.lang.String local = (field == null) ? "" : field
return field == null ? "" : field
field = (parm == null) ? "" : parm
java.lang.Class type = (array != null) ? array.getClass() : element != null ? element.getClass() : java.lang.Object.class
java.lang.Class type = (array != null) ? array.getClass() : element != null ? element.getClass() : java.lang.Object.class
CheckNotNull in 50ms
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.314 sec - in fr.inria.spirals.npefix.transformer.processors.CheckNotNullTest
Running fr.inria.spirals.npefix.transformer.processors.TargetModifierTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
target--> 29 (failed:0) in 35ms
public void multiCatch() {
try {
} catch (java.lang.IllegalArgumentException | java.lang.NullPointerException e) {
e.printStackTrace();
}
}
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.335 sec - in fr.inria.spirals.npefix.transformer.processors.TargetModifierTest
Running fr.inria.spirals.npefix.transformer.TryCatchRepairModelTest
/builds/workspace/npefix/target/test-classes/foo/src
RMI Selector (Host: 127.0.0.1, Port: 10000): KO
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
CheckNotNull in 0ms
ForceNullInit in 0ms
AddImplicitCastChecker --> 0 in 1ms
Assign --> 0 (failed: 0) in 0ms
VarInit --> 0 in 0ms
TryCatchRepair # Method: 4 in 13ms
ConstructorTryCatchRepair # Constructor: 0 in 1ms
VariableFor in 1ms
ConeflowerTest#test1
1 Strat4 NULL Coneflower:15 Used null
Status: Ko
ConeflowerTest#test2
1 Strat4 NULL Coneflower:11 Used null
Status: Ko
ConeflowerTest#test3
1 Strat4 NULL Coneflower:7 Used null
Status: Ko
Multirun 4/1500 0%
ConeflowerTest#test1
1 Strat4 NULL Coneflower:11 Used null
Status: Ko
ConeflowerTest#test2
1 Strat4 NULL Coneflower:7 Used null
Status: Ko
Multirun 8/1500 0%
ConeflowerTest#test1
1 Strat4 NULL Coneflower:7 Used null
Status: Ko
Multirun 12/1500 0%
ConeflowerTest#testThrowException
1 Strat4 VAR Coneflower:19 Used i
Status: Ok
Multirun 4/1500 0%
ConeflowerTest#test1
1 Strat4 NEW Coneflower:15 Used java.lang.String()
Status: Ko
ConeflowerTest#test2
1 Strat4 NEW Coneflower:11 Used java.lang.String()
Status: Ko
ConeflowerTest#test3
1 Strat4 NEW Coneflower:7 Used java.lang.String()
Status: Ok
ConeflowerTest#testThrowException
1 Strat4 NEW Coneflower:19 Used 0
Status: Ok
Multirun 4/1500 0%
ConeflowerTest#test1
1 Strat4 NEW Coneflower:11 Used java.lang.String()
Status: Ko
ConeflowerTest#test2
1 Strat4 NEW Coneflower:7 Used java.lang.String()
Status: Ok
ConeflowerTest#testThrowException
1 Strat4 NEW Coneflower:19 Used -1
Status: Ko
Multirun 8/1500 0%
ConeflowerTest#test1
1 Strat4 NEW Coneflower:7 Used java.lang.String()
Status: Ok
ConeflowerTest#testThrowException
1 Strat4 NEW Coneflower:19 Used 1
Status: Ko
Multirun 12/1500 0%
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.969 sec - in fr.inria.spirals.npefix.transformer.TryCatchRepairModelTest
Running fr.inria.spirals.npefix.patchTemplate.ReplaceGlobalTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.439 sec - in fr.inria.spirals.npefix.patchTemplate.ReplaceGlobalTest
Running fr.inria.spirals.npefix.patchTemplate.VariableFinderTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
Tests run: 2, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.104 sec - in fr.inria.spirals.npefix.patchTemplate.VariableFinderTest
Running fr.inria.spirals.npefix.patchTemplate.SkipLineTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.146 sec - in fr.inria.spirals.npefix.patchTemplate.SkipLineTest
Running fr.inria.spirals.npefix.patchTemplate.SkipMethodReturnTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.43 sec - in fr.inria.spirals.npefix.patchTemplate.SkipMethodReturnTest
Running fr.inria.spirals.npefix.patchTemplate.ReplaceLocalTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.298 sec - in fr.inria.spirals.npefix.patchTemplate.ReplaceLocalTest
Running fr.inria.spirals.npefix.patch.PatchesGeneratorTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/target/test-classes/foo/src/main/java/Foo.java
+++ b/target/test-classes/foo/src/main/java/Foo.java
@@ -105,3 +105,7 @@
public void multiDecisionLine() {
- Arrays.asList(field.toString(), field.toString());
+ if (field == null) {
+ Arrays.asList( new String().toString(), new String().toString());
+ } else {
+ Arrays.asList(field.toString(), field.toString());
+ }
}
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/target/test-classes/foo/src/main/java/Foo.java
+++ b/target/test-classes/foo/src/main/java/Foo.java
@@ -20,6 +20,8 @@
String result = "";
- for (String element : array) {
- result += element.toString();
- if(element == null) {
- return null;
+ if (array != null) {
+ for (String element : array) {
+ result += element.toString();
+ if(element == null) {
+ return null;
+ }
}
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/src/main/java/Foo.java
+++ b/src/main/java/Foo.java
@@ -20,2 +20,5 @@
String result = "";
+ if (array == null) {
+ return new Object();
+ }
for (String element : array) {
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/target/test-classes/foo/src/main/java/Foo.java
+++ b/target/test-classes/foo/src/main/java/Foo.java
@@ -111,4 +111,12 @@
- } else if (array[0].isEmpty()) {
-
+ } else {
+ if (array[0] == null) {
+ if ( new String().isEmpty()) {
+
+ }
+ } else {
+ if (array[0].isEmpty()) {
+
+ }
+ }
}
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/target/test-classes/foo/src/main/java/Foo.java
+++ b/target/test-classes/foo/src/main/java/Foo.java
@@ -20,2 +20,5 @@
String result = "";
+ if (array == null) {
+ return new Object();
+ }
for (String element : array) {
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/target/test-classes/foo/src/main/java/Foo.java
+++ b/target/test-classes/foo/src/main/java/Foo.java
@@ -20,2 +20,5 @@
String result = "";
+ if (array == null) {
+ return result;
+ }
for (String element : array) {
@@ -30,3 +33,5 @@
public String fooLocal() {
- System.out.print(field.toLowerCase());
+ if (field != null) {
+ System.out.print(field.toLowerCase());
+ }
if(field == null) {
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/target/test-classes/foo/src/main/java/Foo.java
+++ b/target/test-classes/foo/src/main/java/Foo.java
@@ -20,7 +20,16 @@
String result = "";
- for (String element : array) {
- result += element.toString();
- if(element == null) {
- return null;
+ if (array == null) {
+ for (String element : result) {
+ result += element.toString();
+ if(element == null) {
+ return null;
+ }
}
+ } else {
+ for (String element : array) {
+ result += element.toString();
+ if(element == null) {
+ return null;
+ }
+ }
}
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/target/test-classes/foo/src/main/java/Foo.java
+++ b/target/test-classes/foo/src/main/java/Foo.java
@@ -20,7 +20,16 @@
String result = "";
- for (String element : array) {
- result += element.toString();
- if(element == null) {
- return null;
+ if (array == null) {
+ for (String element : new String[0]) {
+ result += element.toString();
+ if(element == null) {
+ return null;
+ }
}
+ } else {
+ for (String element : array) {
+ result += element.toString();
+ if(element == null) {
+ return null;
+ }
+ }
}
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
--- a/target/test-classes/foo/src/main/java/Foo.java
+++ b/target/test-classes/foo/src/main/java/Foo.java
@@ -20,2 +20,5 @@
String result = "";
+ if (array == null) {
+ array = new String[0];
+ }
for (String element : array) {
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.245 sec - in fr.inria.spirals.npefix.patch.PatchesGeneratorTest
Running fr.inria.spirals.npefix.main.all.LauncherTest
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
TernarySplitter in 5ms
type = (element != null) ? element.getClass() : Object.class
CheckNotNull in 12ms
ForceNullInit in 2ms
AddImplicitCastChecker --> 4 in 3ms
BeforeDeref --> 29 (failed:0) in 13ms
target--> 32 (failed:0) in 30ms
TryRegister # Try: 1 in 14ms
Assign --> 19 (failed: 0) in 24ms
VarInit --> 10 in 8ms
MethodEncapsulation # Method: 28 in 63ms
ConstructorEncapsulation # Constructor: 2 in 10ms
VariableFor in 6ms
NoStrat
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
<No Strat> Status: Ko
FooClassTest#fooLocalTest
<No Strat> Status: Ko
FooClassTest#fooGlobalTest
<No Strat> Status: Ko
FooClassTest#fooVariableLocalTest
<No Strat> Status: Ko
FooClassTest#fooVariableGlobalTest
<No Strat> Status: Ko
FooClassTest#returnVoidTest
<No Strat> Status: Ko
FooClassTest#fooTest
<No Strat> Status: Ko
Strat1A
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 Strat1A Foo:21 result
Status: Ko
FooClassTest#fooLocalTest
<No Strat> Status: Ko
FooClassTest#fooGlobalTest
<No Strat> Status: Ko
FooClassTest#fooVariableLocalTest
1 Strat1A Foo:49 Used empty
Status: Ko
FooClassTest#fooVariableGlobalTest
1 Strat1A Foo:58 Used empty
Status: Ok
FooClassTest#returnVoidTest
<No Strat> Status: Ko
FooClassTest#fooTest
<No Strat> Status: Ko
Strat1B
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 Strat1B Foo:21 result
Status: Ko
FooClassTest#fooLocalTest
<No Strat> Status: Ko
FooClassTest#fooGlobalTest
<No Strat> Status: Ko
FooClassTest#fooVariableLocalTest
1 Strat1B Foo:49 Used empty
Status: Ko
FooClassTest#fooVariableGlobalTest
1 Strat1B Foo:58 Used empty
Status: Ok
FooClassTest#returnVoidTest
<No Strat> Status: Ko
FooClassTest#fooTest
<No Strat> Status: Ko
Strat2A
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 Strat2A Foo:21 java.lang.Object()
Status: Ko
FooClassTest#fooLocalTest
1 Strat2A Foo:31 Used java.lang.String()
Status: Ok
FooClassTest#fooGlobalTest
1 Strat2A Foo:31 Used java.lang.String()
Status: Ko
FooClassTest#fooVariableLocalTest
1 Strat2A Foo:49 Used java.lang.String()
Status: Ko
FooClassTest#fooVariableGlobalTest
1 Strat2A Foo:58 Used java.lang.String()
Status: Ko
FooClassTest#returnVoidTest
1 Strat2A Foo:67 Used java.lang.String()
Status: Ok
FooClassTest#fooTest
1 Strat2A Foo:16 Used java.lang.String()
Status: Ok
Strat2B
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 Strat2B Foo:21 java.lang.Object()
Status: Ko
FooClassTest#fooLocalTest
1 Strat2B Foo:31 Used java.lang.String()
Status: Ko
FooClassTest#fooGlobalTest
1 Strat2B Foo:31 Used java.lang.String()
Status: Ok
FooClassTest#fooVariableLocalTest
1 Strat2B Foo:49 Used java.lang.String()
Status: Ko
FooClassTest#fooVariableGlobalTest
1 Strat2B Foo:58 Used java.lang.String()
Status: Ko
FooClassTest#returnVoidTest
1 Strat2B Foo:67 Used java.lang.String()
Status: Ok
FooClassTest#fooTest
1 Strat2B Foo:16 Used java.lang.String()
Status: Ok
Strat3
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 Strat3 Foo:21 Used false
Status: Ok
FooClassTest#fooLocalTest
1 Strat3 Foo:31 Used false
Status: Ok
FooClassTest#fooGlobalTest
1 Strat3 Foo:31 Used false
Status: Ko
FooClassTest#fooVariableLocalTest
1 Strat3 Foo:49 Used false
Status: Ok
FooClassTest#fooVariableGlobalTest
1 Strat3 Foo:58 Used false
Status: Ko
FooClassTest#returnVoidTest
1 Strat3 Foo:67 Used false
Status: Ok
FooClassTest#fooTest
1 Strat3 Foo:16 Used false
Status: Ok
Strat4 NULL
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 Strat4 NULL Foo:21 Used null
Status: Ok
FooClassTest#fooLocalTest
1 Strat4 NULL Foo:31 Used null
Status: Ko
FooClassTest#fooGlobalTest
1 Strat4 NULL Foo:31 Used null
Status: Ko
FooClassTest#fooVariableLocalTest
1 Strat4 NULL Foo:49 Used null
Status: Ko
FooClassTest#fooVariableGlobalTest
1 Strat4 NULL Foo:58 Used null
Status: Ko
FooClassTest#returnVoidTest
<No Strat> Status: Ko
FooClassTest#fooTest
<No Strat> Status: Ko
Strat4 VAR
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 Strat4 VAR Foo:21 Used result
Status: Ok
FooClassTest#fooLocalTest
<No Strat> Status: Ko
FooClassTest#fooGlobalTest
<No Strat> Status: Ko
FooClassTest#fooVariableLocalTest
1 Strat4 VAR Foo:49 Used empty
Status: Ko
FooClassTest#fooVariableGlobalTest
1 Strat4 VAR Foo:58 Used empty
Status: Ko
FooClassTest#returnVoidTest
<No Strat> Status: Ko
FooClassTest#fooTest
<No Strat> Status: Ko
Strat4 NEW
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 Strat4 NEW Foo:21 Used java.lang.Object()
Status: Ok
FooClassTest#fooLocalTest
1 Strat4 NEW Foo:31 Used java.lang.String()
Status: Ko
FooClassTest#fooGlobalTest
1 Strat4 NEW Foo:31 Used java.lang.String()
Status: Ok
FooClassTest#fooVariableLocalTest
1 Strat4 NEW Foo:49 Used java.lang.String()
Status: Ko
FooClassTest#fooVariableGlobalTest
1 Strat4 NEW Foo:58 Used java.lang.String()
Status: Ko
FooClassTest#returnVoidTest
<No Strat> Status: Ko
FooClassTest#fooTest
<No Strat> Status: Ko
Strat4 VOID
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
<No Strat> Status: Ko
FooClassTest#fooLocalTest
<No Strat> Status: Ko
FooClassTest#fooGlobalTest
<No Strat> Status: Ko
FooClassTest#fooVariableLocalTest
<No Strat> Status: Ko
FooClassTest#fooVariableGlobalTest
<No Strat> Status: Ko
FooClassTest#returnVoidTest
1 Strat4 VOID Foo:67 Used null
Status: Ok
FooClassTest#fooTest
1 Strat4 VOID Foo:16 Used null
Status: Ok
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
TernarySplitter in 3ms
type = (element != null) ? element.getClass() : Object.class
CheckNotNull in 16ms
ForceNullInit in 2ms
AddImplicitCastChecker --> 4 in 3ms
BeforeDeref --> 29 (failed:0) in 11ms
target--> 32 (failed:0) in 25ms
TryRegister # Try: 1 in 6ms
Assign --> 19 (failed: 0) in 18ms
VarInit --> 10 in 6ms
MethodEncapsulation # Method: 52 in 73ms
ConstructorEncapsulation # Constructor: 2 in 7ms
VariableFor in 3ms
ArrayReadReturnNull
FooArrayAccessTest#fooTest1
<No Strat> Status: Ko
FooArrayAccessTest#fooTest2
<No Strat> Status: Ko
FooArrayAccessTest#fooTest
<No Strat> Status: Ko
FooClassTest#foo1Test
1 ArrayReadReturnNull Foo:21 null
Status: Ko
FooClassTest#fooLocalTest
1 ArrayReadReturnNull Foo:31 null
Status: Ko
FooClassTest#fooGlobalTest
1 ArrayReadReturnNull Foo:31 null
Status: Ko
FooClassTest#fooVariableLocalTest
1 ArrayReadReturnNull Foo:49 null
Status: Ko
FooClassTest#fooVariableGlobalTest
1 ArrayReadReturnNull Foo:58 null
Status: Ko
FooClassTest#returnVoidTest
1 ArrayReadReturnNull Foo:67 null
Status: Ko
FooClassTest#fooTest
1 ArrayReadReturnNull Foo:16 null
Status: Ko
[main] WARN spoon.Launcher - Spoon is now using the 'no classpath mode' by default. If you want to ensure using Spoon in full classpath mode, please use the new flag: --cpmode fullclasspath.
[main] WARN spoon.Launcher - Spoon now parses by default the comments. Consider using the option --disable-comments if you want the old behaviour.
TernarySplitter in 3ms
type = (element != null) ? element.getClass() : Object.class
CheckNotNull in 7ms
ForceNullInit in 1ms
AddImplicitCastChecker --> 4 in 3ms
BeforeDeref --> 29 (failed:0) in 9ms
target--> 32 (failed:0) in 19ms
TryRegister # Try: 1 in 14ms
Assign --> 19 (failed: 0) in 16ms
VarInit --> 10 in 5ms
MethodEncapsulation # Method: 76 in 65ms
ConstructorEncapsulation # Constructor: 2 in 6ms
VariableFor in 3ms
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.992 sec - in fr.inria.spirals.npefix.main.all.LauncherTest
Results :
Tests run: 29, Failures: 0, Errors: 0, Skipped: 2
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 21.281 s
[INFO] Finished at: 2020-02-06T05:24:32+01:00
[INFO] Final Memory: 29M/215M
[INFO] ------------------------------------------------------------------------
No mail will be sent out, as 'npefix #1103' does not have a result yet. Please make sure you set a proper result in case of pipeline/build scripts.
Finished: SUCCESS