gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

Test failures as of commit c42b178 #109

Closed gheber closed 4 years ago

gheber commented 8 years ago

Clozure Common Lisp Version 1.10-r16196 (LinuxARM32)

 Did 1759 checks.
    Pass: 1758 (99%)
    Skip: 0 ( 0%)
    Fail: 1 ( 0%)

 Failure Details:
 --------------------------------
 VRTC-BAR1 []:
      Unexpected Error: #<SIMPLE-ERROR #x150AEC9E>
Array index -1 out of bounds for #(#(
<Rslt>
    GNRT-> C
   VALUE->
----------------------------------------------------------------------{CMBN -1}
<1 * D>
------------------------------------------------------------------------------

    CLNM->      1
    RNTM->       0.000) #() #(
<Rslt>
    GNRT-> C
   VALUE->
----------------------------------------------------------------------{CMBN 1}
<1 * D>
------------------------------------------------------------------------------

    CLNM->      2
    RNTM->       0.000) #(
<Rslt>
    GNRT-> D
   VALUE->
----------------------------------------------------------------------{CMBN 2}
------------------------------------------------------------------------------

    CLNM->      2
    RNTM->       0.000) #() #() #() #() #() #() ...) ...
 --------------------------------
gheber commented 8 years ago

SBCL 1.2.14 (LinuxARM32)

 Did 1803 checks.
    Pass: 1801 (99%)
    Skip: 0 ( 0%)
    Fail: 2 ( 0%)

 Failure Details:
 --------------------------------
 CS-PRE-LEFT-HMEQ-LEFT-REDUCTION []:

(CAT:CMBN-? (EVAL PHI) (IF (MEMBER PHI (QUOTE (CAT:*BDD* CAT:*DG-GD* CAT:*ID-FG* CAT:*DG-GD* CAT:*HG*))) CAT:*BC* CAT:*TC*))

 evaluated to

----------------------------------------------------------------------{CMBN 9}
<1 * <TnPr <TnPr <<GBar<- (3)><- NIL>>> (4 5)> <<Abar[3 (8 0)][2 (-3)]>>>>
------------------------------------------------------------------------------

 which does not satisfy

CAT:CMBN-ZERO-P

.
 --------------------------------
 --------------------------------
 VRTC-BAR1 []:
      Unexpected Error: #<SB-INT:INVALID-ARRAY-INDEX-ERROR expected-type: (INTEGER 0 (15)) datum: -1>
Index -1 out of bounds for (SIMPLE-VECTOR 15), should be nonnegative and <15...
 --------------------------------
gheber commented 8 years ago

SBCL 1.3.0 (WindowsX8664)

 Did 1781 checks.
    Pass: 1779 (99%)
    Skip: 0 ( 0%)
    Fail: 2 ( 0%)

 Failure Details:
 --------------------------------
 CS-LEFT-HMEQ-HAT []:

(CAT:? C (CAT:? C (+ 5 ABAR-DEGR) GNRT))

 evaluated to

----------------------------------------------------------------------{CMBN 11}
<1 * <TnPr <TnPr <<GBar<- (3)><- NIL>>> (4 5 6)> <<Abar[3 (9 -8)][3 (1 0)]>>>>
------------------------------------------------------------------------------

 which does not satisfy

CAT:CMBN-ZERO-P

.
 --------------------------------
 --------------------------------
 VRTC-BAR1 []:
      Unexpected Error: #<SB-INT:INVALID-ARRAY-INDEX-ERROR expected-type: (INTEGER 0 (15)) datum: -1>
Index -1 out of bounds for (SIMPLE-VECTOR 15), should be nonnegative and <15...
 --------------------------------
gheber commented 8 years ago

SBCL 1.2.11 (DarwinX8664)

 Did 1803 checks.
    Pass: 1801 (99%)
    Skip: 0 ( 0%)
    Fail: 2 ( 0%)

 Failure Details:
 --------------------------------
 CS-PRE-LEFT-HMEQ-LEFT-REDUCTION []: 

(CAT:CMBN-? (EVAL PHI) (IF (MEMBER PHI (QUOTE (CAT:*BDD* CAT:*DG-GD* CAT:*ID-FG* CAT:*DG-GD* CAT:*HG*))) CAT:*BC* CAT:*TC*))

 evaluated to 

----------------------------------------------------------------------{CMBN 9}
<1 * <TnPr <TnPr <<GBar<- (3)><- NIL>>> (4 5)> <<Abar[3 (8 0)][2 (-3)]>>>>
------------------------------------------------------------------------------

 which does not satisfy 

CAT:CMBN-ZERO-P

.
 --------------------------------
 --------------------------------
 VRTC-BAR1 []: 
      Unexpected Error: #<SB-INT:INVALID-ARRAY-INDEX-ERROR expected-type: (INTEGER 0 (15)) datum: -1>
Index -1 out of bounds for (SIMPLE-VECTOR 15), should be nonnegative and <15...
 --------------------------------
gheber commented 8 years ago

ECL 16.0.0 (DarwinX8664)

 Did 1806 checks.
    Pass: 1805 (99%)
    Skip: 0 ( 0%)
    Fail: 1 ( 0%)

 Failure Details:
 --------------------------------
 VRTC-BAR1 []: 
      Unexpected Error: #<a SIMPLE-TYPE-ERROR>
In function AREF, the index into the object
 #(#(
<Rslt>
    GNRT-> C
   VALUE-> 
----------------------------------------------------------------------{CMBN -1}
<1 * D>
------------------------------------------------------------------------------

    CLNM->      1
    RNTM->       0.000 
<Rslt>
    GNRT-> D
   VALUE-> 
----------------------------------------------------------------------{CMBN -1}
------------------------------------------------------------------------------

    CLNM->      3
    RNTM->       0.000) #(
<Rslt>
    GNRT-> C
   VALUE-> 
----------------------------------------------------------------------{CMBN 0}
<1 * D>
------------------------------------------------------------------------------

    CLNM->      1
    RNTM->       0.000 
<Rslt>
    GNRT-> D
   VALUE-> 
----------------------------------------------------------------------{CMBN 0}
------------------------------------------------------------------------------

    CLNM->      3
    RNTM->       0.000) #(
<Rslt>
    GNRT-> C
   VALUE-> 
----------------------------------------------------------------------{CMBN 1}
<1 * D>
------------------------------------------------------------------------------

    CLNM->      2
    RNTM->       0.000 
<Rslt>
    GNRT-> D
   VALUE-> 
----------------------------------------------------------------------{CMBN 1}
------------------------------------------------------------------------------

    CLNM->      4
    RNTM->       0.000) #(
<Rslt>
    GNRT-> C
   VALUE-> 
----------------------------------------------------------------------{CMBN 2}
<1 * D>
------------------------------------------------------------------------------

    CLNM->      1
    RNTM->       0.000 
<Rslt>
    GNRT-> D
   VALUE-> 
----------------------------------------------------------------------{CMBN 2}
------------------------------------------------------------------------------

    CLNM->      4
    RNTM->       0.000) #() #() #() #() #() #() ...).
takes a value -1 out of the range (INTEGER 0 14)...
 --------------------------------