check flags: building check-recursive Making check in . make[1]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2' building all-local /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/share/strategoxt/XTC /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/29q5cj1njxdaskzf37570v94gzx4jyaf-prolog-tools-0.2pre1698516985-i0yh4iyw/share/prolog-tools/XTC /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/1pcf3z7g5hi01bk6c4w4cvx4ipm7d0ci-java-front-0.9pre1873718737-f2wy942l/share/java-front/XTC /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/ly7vxwmx6f373zawqb9dcb6id1ilvchf-dryad-0.2pre1875618756-8jl71hy5/share/dryad/XTC /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/n01xkbfxhd5rkcx61mrn62ihwjviaahy-strategoxt-utils-0.17pre1792617926-x7aiwfys/share/strategoxt-utils/XTC Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2' Making check in config make[1]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/config' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/config' Making check in src make[1]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src' building check-recursive Making check in check_program make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/check_program' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: program_checker Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: constraints.pl prolog_header.pl make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/check_program' Making check in java-traverse make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/java-traverse' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/java-traverse' Making check in java-locate make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/java-locate' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-locate Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/java-locate' Making check in java-fold make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/java-fold' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-fold Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/java-fold' Making check in java-graph make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/java-graph' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-graph java-to-dot Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/java-graph' Making check in lutin make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/lutin' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: lutin Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/lutin' Making check in violation-pp make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/violation-pp' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: violation-to-abox pp-violation Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/violation-pp' Making check in violation-correct make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/violation-correct' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: violations_correction Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src/violation-correct' make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src' make[1]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/src' Making check in tests make[1]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests' building check-recursive Making check in java-graph make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/java-graph' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: building check-am make check-TESTS make[3]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/java-graph' building ArrayType building Cast building Constrinv building Editor building Editor1 building Instanceof building Method building Overload building ShapeTest1 building java03 building java07 building java08 building check-TESTS PASS: ArrayType PASS: Cast PASS: Constrinv PASS: Editor PASS: Editor1 PASS: Instanceof PASS: Method PASS: Overload PASS: ShapeTest1 PASS: java03 PASS: java07 PASS: java08 =================== All 12 tests passed =================== make[3]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/java-graph' make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/java-graph' Making check in sampleTests make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/sampleTests' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: lutin-sunit Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: arraytype.java cast.java editor.java generics.java instanceof.java mail.java maze.java method.java overload.java shapetest1.java staticinit.java arraytype.pl cast.pl editor.pl generics.pl instanceof.pl mail.pl maze.pl method.pl overload.pl shapetest1.pl staticinit.pl arraytype.ref cast.ref editor.ref generics.ref instanceof.ref mail.ref maze.ref method.ref overload.ref shapetest1.ref staticinit.ref building check-am make check-TESTS make[3]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/sampleTests' building check-TESTS test suite: list-lutin-test test-arraytype.java test-cast.java test-editor.java test-generics.java test-instanceof.java test-mail.java test-maze.java test-method.java test-overload.java test-shapetest1.java test-staticinit.java successes: 11 failures: 0 (11,0) PASS: lutin-sunit ================== All 1 tests passed ================== make[3]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/sampleTests' make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/sampleTests' Making check in violation-correct make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/violation-correct' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Personne.java Editor.java Personne-graph.pl Editor-graph.pl Personne-violations.pl Editor-violations.pl Personne-constraints.pl Editor-constraints.pl Personne-corrections.pl Editor-corrections.pl building check-am make check-TESTS make[3]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/violation-correct' building Personne building Editor building check-TESTS PASS: Personne PASS: Editor ================== All 2 tests passed ================== make[3]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/violation-correct' make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/violation-correct' Making check in java-fold make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/java-fold' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: test-fold-input Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: static_code_fold.pl viol-correction.pl static_code_fold.out viol-correction.out personne.java scf-use-this.java scf-all-acces.java scf-method.java scf-static-method.java scf-constructor.java dcf-personne.java sdf-personne.java sdf-two-fields.java personne.fold.pl scf-use-this.fold.pl scf-all-acces.fold.pl scf-method.fold.pl scf-static-method.fold.pl scf-constructor.fold.pl dcf-personne.fold.pl sdf-personne.fold.pl sdf-two-fields.fold.pl personne.res.java scf-use-this.res.java scf-all-acces.res.java scf-method.res.java scf-static-method.res.java scf-constructor.res.java dcf-personne.res.java sdf-personne.res.java sdf-two-fields.res.java building check-am make check-TESTS make[3]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/java-fold' building personne building scf-use-this building scf-all-acces building scf-method building scf-static-method building scf-constructor building dcf-personne building sdf-personne building sdf-two-fields building check-TESTS test suite: test-fold-input static_code_fold viol-correction successes: 2 failures: 0 (2,0) PASS: test-fold-input PASS: personne PASS: scf-use-this PASS: scf-all-acces PASS: scf-method PASS: scf-static-method PASS: scf-constructor PASS: dcf-personne PASS: sdf-personne PASS: sdf-two-fields =================== All 10 tests passed =================== make[3]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/java-fold' make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/java-fold' Making check in lutin make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/lutin' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: building check-am make check-TESTS make[3]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/lutin' building personne building dcf-personne building check-TESTS PASS: personne PASS: dcf-personne ================== All 2 tests passed ================== make[3]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/lutin' make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests/lutin' make[2]: Entering directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests' building all-local Tools registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests' make[1]: Leaving directory `/tmp/nix-build-5bx54pa2lac9kd0vnmpszxnysqmgd3z8-lutin.drv-0/lutin-package-0.2/tests'