check flags: -
building check-recursive
-
Making check in .
-
make[1]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2'
-
building all-local
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /...-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /...-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools/XTC
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /...-java-front-0.9pre1823618236-frb8zh7m/share/java-front/XTC
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /...-dryad-0.2pre1835518355-1ydq94zz/share/dryad/XTC
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /...-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils/XTC
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2'
-
Making check in config
-
make[1]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/config'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/config'
-
Making check in src
-
make[1]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src'
-
building check-recursive
-
Making check in check_program
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/check_program'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: program_checker
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: constraints.pl prolog_header.pl
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/check_program'
-
Making check in java-traverse
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/java-traverse'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/java-traverse'
-
Making check in java-locate
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/java-locate'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-locate
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/java-locate'
-
Making check in java-fold
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/java-fold'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-fold
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/java-fold'
-
Making check in java-graph
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/java-graph'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-graph java-to-dot
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/java-graph'
-
Making check in lutin
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/lutin'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: lutin
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/lutin'
-
Making check in violation-pp
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/violation-pp'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: violation-to-abox pp-violation
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/violation-pp'
-
Making check in violation-correct
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/violation-correct'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: violations_correction
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src/violation-correct'
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src'
-
make[1]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/src'
-
Making check in tests
-
make[1]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests'
-
building check-recursive
-
Making check in java-graph
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/java-graph'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
building check-am
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-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-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/java-graph'
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/java-graph'
-
Making check in sampleTests
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/sampleTests'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: lutin-sunit
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-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-i109i4zs5wl8fzp3h4162ak5dlczsi3q-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-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/sampleTests'
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/sampleTests'
-
Making check in violation-correct
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/violation-correct'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-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-i109i4zs5wl8fzp3h4162ak5dlczsi3q-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-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/violation-correct'
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/violation-correct'
-
Making check in java-fold
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/java-fold'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: test-fold-input
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-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-i109i4zs5wl8fzp3h4162ak5dlczsi3q-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-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/java-fold'
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/java-fold'
-
Making check in lutin
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/lutin'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
building check-am
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-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-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/lutin'
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests/lutin'
-
make[2]: Entering directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests'
-
make[1]: Leaving directory `/tmp/nix-build-i109i4zs5wl8fzp3h4162ak5dlczsi3q-lutin.drv-0/lutin-package-0.2/tests'