Unfreeze

make[1]: Entering directory '/cygdrive/d/GITHUB/SWI/swipl-devel-unstable/src'
./swipl.sh -q -f ./test.pl -O -F none -g test,halt -t 'halt(1)'
Warning: Package swicli: no binary for architecture x86_64-cygwin
SWI-Prolog test suite.  To run all tests run ?- test.

Running test set "syntax" ............................... done.
Running test set "write_test" .............. done.
Running test set "format_test" ........ done.
Running test set "unify" .. done.
Running test set "occurs_check" ...... done.
Running test set "unifiable" ... done.
Running test set "arithmetic" ...................................... done.
Running test set "arithmetic_functions"  done.
Running test set "floattest" ........ done.
Running test set "gmp" ............................................................. done.
Running test set "chars" .. done.
Running test set "wchars" .. done.
Running test set "depth_limit" ..... done.
Running test set "type_test" ... done.
Running test set "meta" ............... done.
Running test set "avar" ........................... done.
Running test set "gvar" ..... done.
Running test set "copy_term" ..........
/d/GITHUB/SWI/swipl-devel-unstable/src/test.pl:1991: Test copy_term(av-4):
        ERROR: unfreeze/1: Undefined procedure: freeze:'$and'/2
... done.
Running test set "term_hash" ........ done.
Running test set "cyclic" .......... done.
Running test set "cleanup" ............. done.
Running test set "term" ........... done.
Running test set "list" ........... done.
Running test set "sets" ......... done.
Running test set "atom_handling" ........................ done.
Running test set "string_handling" ..... done.
Running test set "proc" ........ done.
Running test set "cl" ........... done.
Running test set "record" ....... done.
Running test set "compiler" ....... done.
Running test set "flag" . done.
Running test set "update" ... done.
Running test set "gc" ........ done.
Running test set "control" ......... done.
Running test set "exception" ........ done.
Running test set "term_atom" .. done.
Running test set "os" .. done.
Running test set "io" .. done.
Running test set "popen" ... done.
Running test set "timeout" . done.
Running test set "file" ............. done.
Running test set "unicode_file" .... done.
Running test set "seek" . done.
Running test set "load_program" . done.
Running test set "ctype" ...... done.
Running test set "wctype" . done.
Running test set "thread" ....... done.
Running test set "mutex" ... done.
Running scripts from core Skipped toplevel answer tests; requires clib
..........................................................................................
ERROR: /d/GITHUB/SWI/swipl-devel-unstable/src/Tests/core/test_attvar.pl:58:
        test freeze_and is subject to occurs check (STO):
ERROR: Finite trees (error checking): received error: unfreeze/1: Undefined procedure: freeze:'$and'/2
ERROR: Rational trees: received error: unfreeze/1: Undefined procedure: freeze:'$and'/2
ERROR: Finite trees: received error: unfreeze/1: Undefined procedure: freeze:'$and'/2
Script /d/GITHUB/SWI/swipl-devel-unstable/src/Tests/core/test_attvar.pl failed
................................................................................................................................./swipl.sh: line 45:  2404 Segmentation fault      (core dumped) $bdir/swipl.exe "$@"
Makefile:404: recipe for target 'check' failed
make[1]: *** [check] Error 1
make[1]: Leaving directory '/cygdrive/d/GITHUB/SWI/swipl-devel-unstable/src'
Makefile:30: recipe for target 'check' failed
make: *** [check] Error 2

Administrator@I74930K /d/GITHUB/SWI/swipl-devel-unstable
$