cl-smt-lib results collected by cl-test-grid

Results on the last two Quicklisp distributions

 quicklisp 2022-04-01quicklisp 2022-07-08
abcl-1.6.0-fasl43-linux-x86
abcl-1.7.0-fasl43-linux-x86
abcl-1.7.1-fasl43-linux-x86
abcl-1.8.0-fasl43-linux-x64
abcl-1.8.0-fasl43-linux-x86
acl-10.0-linux-x86
acl-10.0m-linux-x86
acl-10.0ms-linux-x86
acl-10.0s-linux-x86
acl-10.1-linux-x86
acl-10.1m-linux-x86
acl-10.1ms-linux-x86
acl-10.1s-linux-x86
ccl-1.10-r16196-f96-linux-x86
(LOAD cl-smt-lib FAIL) CCL::SIMPLE-PROGRAM-ERROR : Incorrect keyword arguments in (:NICKNAMES NIL :DOCUMENTATION NIL :USE (:UIOP/COMMON-LISP :UIOP/PACKAGE :UIOP/UTILITY) :SHADOW NIL :SHADOWING-IMPORT-FROM NIL :IMPORT-FROM NIL :EXPORT (#:*UIOP-VERSION* #:PARSE-VERSION #:UNPARSE-VERSION #:VERSION< #:VERSION<= #:NEXT-VERSION #:DEPRECATED-FUNCTION-CONDITION #:DEPRECATED-FUNCTION-NAME #:DEPRECATED-FUNCTION-STYLE-WARNING #:DEPRECATED-FUNCTION-WARNING #:DEPRECATED-FUNCTION-ERROR #:DEPRECATED-FUNCTION-SHOULD-BE-DELETED #:VERSION-DEPRECATION #:WITH-DEPRECATION) :INTERN NIL :RECYCLE (:UIOP/VERSION :UIOP/UTILITY :ASDF) :MIX NIL :REEXPORT NIL :UNINTERN NIL :LOCAL-NICKNAMES NIL) .
ccl-1.11-5-rv1.11.5-f96-linux-x86
(LOAD cl-smt-lib FAIL) CCL::SIMPLE-PROGRAM-ERROR : Incorrect keyword arguments in (:NICKNAMES NIL :DOCUMENTATION NIL :USE (:UIOP/COMMON-LISP :UIOP/PACKAGE :UIOP/UTILITY) :SHADOW NIL :SHADOWING-IMPORT-FROM NIL :IMPORT-FROM NIL :EXPORT (#:*UIOP-VERSION* #:PARSE-VERSION #:UNPARSE-VERSION #:VERSION< #:VERSION<= #:NEXT-VERSION #:DEPRECATED-FUNCTION-CONDITION #:DEPRECATED-FUNCTION-NAME #:DEPRECATED-FUNCTION-STYLE-WARNING #:DEPRECATED-FUNCTION-WARNING #:DEPRECATED-FUNCTION-ERROR #:DEPRECATED-FUNCTION-SHOULD-BE-DELETED #:VERSION-DEPRECATION #:WITH-DEPRECATION) :INTERN NIL :RECYCLE (:UIOP/VERSION :UIOP/UTILITY :ASDF) :MIX NIL :REEXPORT NIL :UNINTERN NIL :LOCAL-NICKNAMES NIL) .
ccl-1.12-1-f98-linux-x64
ccl-1.12-1-rv1.12.1-f98-linux-x64
clisp-2.49.92-unix-x64
(LOAD cl-smt-lib FAIL) SYSTEM::SIMPLE-PACKAGE-ERROR : DEFMETHOD((PRINT-OBJECT (:AROUND) (EQL NIL) T)): (#<PACKAGE CLOS> #<PACKAGE COMMON-LISP> #<PACKAGE COMMON-LISP> #<PACKAGE COMMON-LISP>) is locked
(LOAD cl-smt-lib FAIL) SYSTEM::SIMPLE-PACKAGE-ERROR : DEFMETHOD((PRINT-OBJECT (:AROUND) (EQL NIL) T)): (#<PACKAGE CLOS> #<PACKAGE COMMON-LISP> #<PACKAGE COMMON-LISP> #<PACKAGE COMMON-LISP>) is locked
clisp-2.49.92-unix-x86-asdf3
(LOAD cl-smt-lib FAIL) SYSTEM::SIMPLE-PACKAGE-ERROR : DEFMETHOD((PRINT-OBJECT (:AROUND) (EQL NIL) T)): (#<PACKAGE CLOS> #<PACKAGE COMMON-LISP> #<PACKAGE COMMON-LISP> #<PACKAGE COMMON-LISP>) is locked
cmu-snapshot-2014-01__20e_unicode_-linux-x86
(LOAD cl-smt-lib FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system cl-smt-lib from pathname /home/testgrid/cl-test-grid/work-dir/agent/quicklisp/dists/quicklisp/software/cl-smt-lib-20220331-git/cl-smt-lib.asd: Component :ASDF does not match version 3.1.2, required by #<SYSTEM "asdf-package-system">
cmu-snapshot-2014-05-dirty__20e_unicode_-linux-x86
(LOAD cl-smt-lib FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system cl-smt-lib from pathname /home/testgrid/cl-test-grid/work-dir/agent/quicklisp/dists/quicklisp/software/cl-smt-lib-20220331-git/cl-smt-lib.asd: Component :ASDF does not match version 3.1.2, required by #<SYSTEM "asdf-package-system">
cmu-snapshot-2014-12___20f_unicode_-linux-x86
(LOAD cl-smt-lib FAIL) KERNEL:SIMPLE-PROGRAM-ERROR : Unknown keyword: :LOCAL-NICKNAMES
cmu-snapshot-2016-12__21b_unicode_-linux-x86
(LOAD cl-smt-lib FAIL) KERNEL:SIMPLE-PROGRAM-ERROR : Unknown keyword: :LOCAL-NICKNAMES
ecl-16.1.2-unknown-linux-x86-bytecode
(LOAD cl-smt-lib FAIL) SI:SIMPLE-PROGRAM-ERROR : In form (PROGN (LOAD #P"/home/testgrid/cl-test-grid/work-dir/agent/quicklisp/setup.lisp") (LOAD #P"/home/testgrid/cl-test-grid/agent/proc-common.lisp") (LOAD #P"/home/testgrid/cl-test-grid/agent/proc-common-asdf.lisp") (LOAD #P"/home/testgrid/cl-test-grid/agent/proc-test-loading.lisp") (SET-RESPONSE #P"/home/testgrid/cl-test-grid/work-dir/agent/response11785495853472856116.lisp" (TEST-LOADING-MAIN #P"/home/testgrid/cl-test-grid/work-dir/agent/test-runs/20220408044730-ecl-16.1.2-unknown-linux-x86-bytecode/logs/cl-smt-lib-load" "cl-smt-lib" #P"/home/testgrid/cl-test-grid/work-dir/agent/quicklisp/" #P"/home/testgrid/cl-test-grid/work-dir/agent/test-runs/20220408044730-ecl-16.1.2-unknown-linux-x86-bytecode/fasl/"))) Unknown keyword :LOCAL-NICKNAMES
ecl-16.1.2-unknown-linux-x86-lisp-to-c
(LOAD cl-smt-lib FAIL) SI:SIMPLE-PROGRAM-ERROR : In form (PROGN (LOAD #P"/home/testgrid/cl-test-grid/work-dir/agent/quicklisp/setup.lisp") (LOAD #P"/home/testgrid/cl-test-grid/agent/proc-common.lisp") (LOAD #P"/home/testgrid/cl-test-grid/agent/proc-common-asdf.lisp") (LOAD #P"/home/testgrid/cl-test-grid/agent/proc-test-loading.lisp") (SET-RESPONSE #P"/home/testgrid/cl-test-grid/work-dir/agent/response6174962432955051989.lisp" (TEST-LOADING-MAIN #P"/home/testgrid/cl-test-grid/work-dir/agent/test-runs/20220408120332-ecl-16.1.2-unknown-linux-x86-lisp-to-c/logs/cl-smt-lib-load" "cl-smt-lib" #P"/home/testgrid/cl-test-grid/work-dir/agent/quicklisp/" #P"/home/testgrid/cl-test-grid/work-dir/agent/test-runs/20220408120332-ecl-16.1.2-unknown-linux-x86-lisp-to-c/fasl/"))) Unknown keyword :LOCAL-NICKNAMES
sbcl-1.1.11-linux-x86
(LOAD cl-smt-lib FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system cl-smt-lib from pathname /home/testgrid/cl-test-grid/work-dir/agent/quicklisp/dists/quicklisp/software/cl-smt-lib-20220331-git/cl-smt-lib.asd: Component :ASDF does not match version 3.1.2, required by #<SYSTEM "asdf-package-system">
sbcl-1.1.16-linux-x86
(LOAD cl-smt-lib FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system cl-smt-lib from pathname /home/testgrid/cl-test-grid/work-dir/agent/quicklisp/dists/quicklisp/software/cl-smt-lib-20220331-git/cl-smt-lib.asd: Component :ASDF does not match version 3.1.2, required by #<SYSTEM "asdf-package-system">
sbcl-1.2.6-linux-x86
(LOAD cl-smt-lib FAIL) SB-INT:SIMPLE-PROGRAM-ERROR : unknown &KEY argument: :LOCAL-NICKNAMES
sbcl-1.3.12-linux-x86
(LOAD cl-smt-lib FAIL) SB-INT:SIMPLE-PROGRAM-ERROR : unknown &KEY argument: :LOCAL-NICKNAMES
sbcl-1.3.17-linux-x86
(LOAD cl-smt-lib FAIL) SB-EXT:UNKNOWN-KEYWORD-ARGUMENT : Unknown &KEY argument: :LOCAL-NICKNAMES
sbcl-1.3.20-linux-x86
(LOAD cl-smt-lib FAIL) SB-EXT:UNKNOWN-KEYWORD-ARGUMENT : Unknown &KEY argument: :LOCAL-NICKNAMES
sbcl-1.3.21-linux-x86
(LOAD cl-smt-lib FAIL) SB-EXT:UNKNOWN-KEYWORD-ARGUMENT : Unknown &KEY argument: :LOCAL-NICKNAMES
sbcl-2.2.1-linux-x64

Breakdown by testcases: for every failed testcase the lisp implmentations it fails on

The library does not have a testsuite adapter for CL Test Grid.

To reports overview

Generated at: 2022-07-26 12:39:14 GMT.