Skip to content
commit message

Reduction Rule #94

Sign in to view logs

Reduction Rule

Reduction Rule #94

GitHub Actions / junit-tests failed Dec 12, 2023 in 0s

92 tests run, 88 passed, 0 skipped, 4 failed.

Annotations

Check failure on line 53 in base/src/test/java/org/aya/test/LibraryTest.java

See this annotation in the file changed.

@github-actions github-actions / junit-tests

LibraryTest.fastTestOnDisk() 

org.opentest4j.AssertionFailedError: expected: <0> but was: <-1>
Raw output 
org.opentest4j.AssertionFailedError: expected: <0> but was: <-1>
	at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
	at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
	at app//org.junit.jupiter.api.AssertEquals.failNotEqual(AssertEquals.java:197)
	at app//org.junit.jupiter.api.AssertEquals.assertEquals(AssertEquals.java:150)
	at app//org.junit.jupiter.api.AssertEquals.assertEquals(AssertEquals.java:145)
	at app//org.junit.jupiter.api.Assertions.assertEquals(Assertions.java:527)
	at app//org.aya.test.LibraryTest.fastTestOnDisk(LibraryTest.java:53)
	at [email protected]/java.lang.reflect.Method.invoke(Method.java:578)
	at [email protected]/java.util.ArrayList.forEach(ArrayList.java:1511)
	at [email protected]/java.util.ArrayList.forEach(ArrayList.java:1511)

Check failure on line 44 in base/src/test/java/org/aya/test/LibraryTest.java

See this annotation in the file changed.

@github-actions github-actions / junit-tests

LibraryTest.[1] success 

org.opentest4j.AssertionFailedError: expected: <0> but was: <-1>
Raw output 
org.opentest4j.AssertionFailedError: expected: <0> but was: <-1>
	at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
	at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
	at app//org.junit.jupiter.api.AssertEquals.failNotEqual(AssertEquals.java:197)
	at app//org.junit.jupiter.api.AssertEquals.assertEquals(AssertEquals.java:150)
	at app//org.junit.jupiter.api.AssertEquals.assertEquals(AssertEquals.java:145)
	at app//org.junit.jupiter.api.Assertions.assertEquals(Assertions.java:527)
	at app//org.aya.test.LibraryTest.testOnDisk(LibraryTest.java:44)
	at [email protected]/java.lang.reflect.Method.invoke(Method.java:578)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:179)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:1006)
	at [email protected]/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509)
	at [email protected]/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
	at [email protected]/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
	at [email protected]/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:596)
	at [email protected]/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:276)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:197)
	at [email protected]/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625)
	at [email protected]/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509)
	at [email protected]/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
	at [email protected]/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
	at [email protected]/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:596)
	at [email protected]/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:276)
	at [email protected]/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625)
	at [email protected]/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509)
	at [email protected]/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
	at [email protected]/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
	at [email protected]/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
	at [email protected]/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:596)
	at [email protected]/java.util.ArrayList.forEach(ArrayList.java:1511)
	at [email protected]/java.util.ArrayList.forEach(ArrayList.java:1511)

Check failure on line 64 in base/src/test/java/org/aya/test/LibraryTest.java

See this annotation in the file changed.

@github-actions github-actions / junit-tests

LibraryTest.testLiterate() 

org.opentest4j.AssertionFailedError: expected: <0> but was: <-1>
Raw output 
org.opentest4j.AssertionFailedError: expected: <0> but was: <-1>
	at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
	at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
	at app//org.junit.jupiter.api.AssertEquals.failNotEqual(AssertEquals.java:197)
	at app//org.junit.jupiter.api.AssertEquals.assertEquals(AssertEquals.java:150)
	at app//org.junit.jupiter.api.AssertEquals.assertEquals(AssertEquals.java:145)
	at app//org.junit.jupiter.api.Assertions.assertEquals(Assertions.java:527)
	at app//org.aya.test.LibraryTest.testLiterate(LibraryTest.java:64)
	at [email protected]/java.lang.reflect.Method.invoke(Method.java:578)
	at [email protected]/java.util.ArrayList.forEach(ArrayList.java:1511)
	at [email protected]/java.util.ArrayList.forEach(ArrayList.java:1511)

Check failure on line 51 in base/src/test/java/org/aya/test/TestRunner.java

See this annotation in the file changed.

@github-actions github-actions / junit-tests

TestRunner.runAllAyaTests() 

org.opentest4j.AssertionFailedError: issue354-confl.aya ==> expected: <In file /home/runner/work/aya-dev/aya-dev/base/src/test/resources/failure/patterns/issues/issue354-confl.aya:13:4 ->

  11 │        { i := pos 0 | ~ i := neg 0 }
  12 │     
  13 │     def abs (n : Int) : Nat
     │         ╰─╯
  14 │      | pos n => suc n
  15 │      | neg n => n
  16 │      | posneg _ => 0
     │        ╰───────────╯ (confluence check: this clause is substituted to) `0`

Error: The 3rd clause matches on a constructor with condition(s). When checking 
       the 1st condition, we failed to unify
         0
       for the arguments:
         posneg 1
       Normalized:
         pos 0
         suc 0
       In particular, we failed to unify
         zero
       with
         suc 0

1 error(s), 0 warning(s).
What are you doing?
> but was: <In file /home/runner/work/aya-dev/aya-dev/base/src/test/resources/failure/patterns/issues/issue354-confl.aya:13:4 ->

  11 │        { i := pos 0 | ~ i := neg 0 }
  12 │     
  13 │     def abs (n : Int) : Nat
     │         ╰─╯
  14 │      | pos n => suc n
  15 │      | neg n => n
  16 │      | posneg _ => 0
     │        ╰───────────╯ (confluence check: this clause is substituted to) `0`

Error: The 3rd clause matches on a constructor with condition(s). When checking 
       the 1st condition, we failed to unify
         0
       for the arguments:
         posneg 1
       Normalized:
         pos 0
         1

1 error(s), 0 warning(s).
What are you doing?
>
Raw output 
org.opentest4j.AssertionFailedError: issue354-confl.aya ==> expected: <In file /home/runner/work/aya-dev/aya-dev/base/src/test/resources/failure/patterns/issues/issue354-confl.aya:13:4 ->

  11 │        { i := pos 0 | ~ i := neg 0 }
  12 │     
  13 │     def abs (n : Int) : Nat
     │         ╰─╯
  14 │      | pos n => suc n
  15 │      | neg n => n
  16 │      | posneg _ => 0
     │        ╰───────────╯ (confluence check: this clause is substituted to) `0`

Error: The 3rd clause matches on a constructor with condition(s). When checking 
       the 1st condition, we failed to unify
         0
       for the arguments:
         posneg 1
       Normalized:
         pos 0
         suc 0
       In particular, we failed to unify
         zero
       with
         suc 0

1 error(s), 0 warning(s).
What are you doing?
> but was: <In file /home/runner/work/aya-dev/aya-dev/base/src/test/resources/failure/patterns/issues/issue354-confl.aya:13:4 ->

  11 │        { i := pos 0 | ~ i := neg 0 }
  12 │     
  13 │     def abs (n : Int) : Nat
     │         ╰─╯
  14 │      | pos n => suc n
  15 │      | neg n => n
  16 │      | posneg _ => 0
     │        ╰───────────╯ (confluence check: this clause is substituted to) `0`

Error: The 3rd clause matches on a constructor with condition(s). When checking 
       the 1st condition, we failed to unify
         0
       for the arguments:
         posneg 1
       Normalized:
         pos 0
         1

1 error(s), 0 warning(s).
What are you doing?
>
	at app//org.junit.jupiter.api.AssertionFailureBuilder.build(AssertionFailureBuilder.java:151)
	at app//org.junit.jupiter.api.AssertionFailureBuilder.buildAndThrow(AssertionFailureBuilder.java:132)
	at app//org.junit.jupiter.api.AssertEquals.failNotEqual(AssertEquals.java:197)
	at app//org.junit.jupiter.api.AssertEquals.assertEquals(AssertEquals.java:182)
	at app//org.junit.jupiter.api.Assertions.assertEquals(Assertions.java:1152)
	at app//org.aya.test.TestRunner.checkOutput(TestRunner.java:151)
	at app//org.aya.test.TestRunner.postRun(TestRunner.java:100)
	at app//org.aya.test.TestRunner.runFile(TestRunner.java:85)
	at app//org.aya.test.TestRunner.lambda$runDir$2(TestRunner.java:72)
	at app//kala.collection.immutable.ImmutableVectors.forEachRec(ImmutableVectors.java:733)
	at app//kala.collection.immutable.ImmutableVectors.forEachRec(ImmutableVectors.java:738)
	at app//kala.collection.immutable.ImmutableVectors$BigVector.forEach(ImmutableVectors.java:568)
	at app//org.aya.test.TestRunner.runDir(TestRunner.java:72)
	at app//org.aya.test.TestRunner.runAllAyaTests(TestRunner.java:51)
	at [email protected]/java.lang.reflect.Method.invoke(Method.java:578)
	at [email protected]/java.util.ArrayList.forEach(ArrayList.java:1511)
	at [email protected]/java.util.ArrayList.forEach(ArrayList.java:1511)
View more details on GitHub Actions