check flags: [pbuilding check-recursive Making check in . [pmake[1]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2' [pbuilding all-local /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/share/strategoxt/XTC /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/vak64jpiri5g3gmih5m9kc3b64k8mcdy-prolog-tools-0.2pre1698516985-i0yh4iyw/share/prolog-tools/XTC /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/yhg2pd3lpb07ax6brc1c1hcq5fgh4b8s-java-front-0.9pre1873718737-f2wy942l/share/java-front/XTC /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/cb7wvnalgj0x1c94wmb5x8nky4igr8p7-dryad-0.2pre1875618756-8jl71hy5/share/dryad/XTC /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/imdibni4qk6fg71kzshjl2xw400f8sfq-strategoxt-utils-0.17pre1792617926-x7aiwfys/share/strategoxt-utils/XTC Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[1]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2' [qMaking check in config [pmake[1]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/config' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/config' [qMaking check in src [pmake[1]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src' [pbuilding check-recursive Making check in check_program [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/check_program' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: program_checker Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: constraints.pl prolog_header.pl [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/check_program' [qMaking check in java-traverse [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/java-traverse' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/java-traverse' [qMaking check in java-locate [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/java-locate' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-locate Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/java-locate' [qMaking check in java-fold [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/java-fold' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-fold Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/java-fold' [qMaking check in java-graph [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/java-graph' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-graph java-to-dot Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/java-graph' [qMaking check in lutin [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/lutin' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: lutin Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/lutin' [qMaking check in violation-pp [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/violation-pp' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: violation-to-abox pp-violation Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/violation-pp' [qMaking check in violation-correct [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/violation-correct' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: violations_correction Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src/violation-correct' [q[pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src' [q[qmake[1]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/src' [qMaking check in tests [pmake[1]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests' [pbuilding check-recursive Making check in java-graph [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/java-graph' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [q[pbuilding check-am [3s[amake check-TESTS[b [pmake[3]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/java-graph' [pbuilding ArrayType [q[pbuilding Cast [q[pbuilding Constrinv [q[pbuilding Editor [q[pbuilding Editor1 [q[pbuilding Instanceof [q[pbuilding Method [q[pbuilding Overload [q[pbuilding ShapeTest1 [q[pbuilding java03 [q[pbuilding java07 [q[pbuilding java08 [q[pbuilding 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 =================== [qmake[3]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/java-graph' [q[qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/java-graph' [qMaking check in sampleTests [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/sampleTests' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: lutin-sunit Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-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 [q[pbuilding check-am [3s[amake check-TESTS[b [pmake[3]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/sampleTests' [pbuilding 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 ================== [qmake[3]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/sampleTests' [q[qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/sampleTests' [qMaking check in violation-correct [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/violation-correct' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-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 [q[pbuilding check-am [3s[amake check-TESTS[b [pmake[3]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/violation-correct' [pbuilding Personne [q[pbuilding Editor [q[pbuilding check-TESTS PASS: Personne PASS: Editor ================== All 2 tests passed ================== [qmake[3]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/violation-correct' [q[qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/violation-correct' [qMaking check in java-fold [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/java-fold' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: test-fold-input Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-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 [q[pbuilding check-am [3s[amake check-TESTS[b [pmake[3]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/java-fold' [pbuilding personne [q[pbuilding scf-use-this [q[pbuilding scf-all-acces [q[pbuilding scf-method [q[pbuilding scf-static-method [q[pbuilding scf-constructor [q[pbuilding dcf-personne [q[pbuilding sdf-personne [q[pbuilding sdf-two-fields [q[pbuilding 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 =================== [qmake[3]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/java-fold' [q[qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/java-fold' [qMaking check in lutin [pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/lutin' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [q[pbuilding check-am [3s[amake check-TESTS[b [pmake[3]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/lutin' [pbuilding personne [q[pbuilding dcf-personne [q[pbuilding check-TESTS PASS: personne PASS: dcf-personne ================== All 2 tests passed ================== [qmake[3]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/lutin' [q[qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests/lutin' [q[pmake[2]: Entering directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests' [pbuilding all-local Tools registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: [qmake[2]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests' [q[qmake[1]: Leaving directory `/tmp/nix-build-wylm7zz4q95sac6z5mri931gclr84nxq-lutin.drv-0/lutin-package-0.2/tests' [q[q