Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Delay type and use it #5910

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Use tilded 'data' instead of 'newtype'

7a0fa2c
Select commit
Loading
Failed to load commit list.
Open

Add Delay type and use it #5910

Use tilded 'data' instead of 'newtype'
7a0fa2c
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/hydra-build:x86_64-linux.ghc96.checks.plutus-benchmark:test:plutus-benchmark-lists-tests failed Jun 19, 2024 in 2s

Build failed

1 failed steps

Details

Failed Steps

Step 1

Derivation

/nix/store/rm0017ii35kp2hv8nirfxj4k5rx0wgxa-plutus-benchmark-test-plutus-benchmark-lists-tests-0.1.0.0-check.drv

Log

unpacking sources
unpacking source archive /nix/store/0lmdv6vq5xh8ifhw5ql3dnd4623gn3r5-source-root-plutus-benchmark-test-plutus-benchmark-lists-tests-root
source root is source-root-plutus-benchmark-test-plutus-benchmark-lists-tests-root
patching sources
building
/nix/store/dah9c1d5aakxm24f9mxk7jp2vl4f9y3m-plutus-benchmark-test-plutus-benchmark-lists-tests-0.1.0.0/bin:
patching script interpreter paths in /build/tmp.GOnTI5kyaz/bin
plutus-benchmark list tests
  plutus-benchmark list-sort tests
    GHC sort (Haskell):                        OK
      +++ OK, passed 100 tests.
    GHC sort (Plutus):                         OK (1.13s)
      +++ OK, passed 100 tests.
    insertion sort (Haskell):                  OK
      +++ OK, passed 100 tests.
    insertion sort (Plutus):                   OK (1.06s)
      +++ OK, passed 100 tests.
    merge sort (Haskell):                      OK
      +++ OK, passed 100 tests.
    merge sort (Plutus):                       OK (1.05s)
      +++ OK, passed 100 tests.
    quicksort (Haskell):                       OK
      +++ OK, passed 100 tests.
    quicksort (Plutus):                        OK (1.07s)
      +++ OK, passed 100 tests.
  plutus-benchmark list-sum tests
    correct evaluation
      Handwritten right fold (Scott lists):    OK (0.67s)
        +++ OK, passed 100 tests.
      Handwritten right fold (built-in lists): OK (0.32s)
        +++ OK, passed 100 tests.
      Compiled right fold (Scott lists):       OK (0.65s)
        +++ OK, passed 100 tests.
      Compiled right fold (built-in lists):    FAIL
        *** Failed! Falsified (after 1 test):
        []
        EvaluationFailure /= EvaluationSuccess (Constant () (Some (ValueOf DefaultUniInteger 0)))
        Use --quickcheck-replay=365796 to reproduce.
        Use -p '/Compiled right fold (built-in lists)/' to rerun this test only.
      Compiled right fold (data lists):        OK (0.36s)
        +++ OK, passed 100 tests.
      Handwritten left fold (Scott lists):     OK (0.71s)
        +++ OK, passed 100 tests.
      Handwritten left fold (built-in lists):  OK (0.25s)
        +++ OK, passed 100 tests.
      Compiled left fold (Scott lists):        OK (0.69s)
        +++ OK, passed 100 tests.
      Compiled left fold (built-in lists):     FAIL
        *** Failed! Falsified (after 1 test):
        []
        EvaluationFailure /= EvaluationSuccess (Constant () (Some (ValueOf DefaultUniInteger 0)))
        Use --quickcheck-replay=744153 to reproduce.
        Use -p '/Compiled left fold (built-in lists)/' to rerun this test only.
      Compiled left fold (data lists):         OK (0.36s)
        +++ OK, passed 100 tests.
    lists/test/Sum/9.6
      right-fold-scott:                        OK (0.03s)
      right-fold-built-in:                     FAIL (0.01s)
        Test output was different from 'lists/test/Sum/9.6/right-fold-built-in.budget.golden'. Output of ["diff","-u","lists/test/Sum/9.6/right-fold-built-in.budget.golden","/build/right-fold-built-in.budget27-0.actual"]:
        --- lists/test/Sum/9.6/right-fold-built-in.budget.golden        1970-01-01 00:00:01.000000000 +0000
        +++ /build/right-fold-built-in.budget27-0.actual        2024-06-19 23:06:38.616307844 +0000
        @@ -1,2 +1,6 @@
        -({cpu: 181259654
        -| mem: 594532})
        \ No newline at end of file
        +An error has occurred:  User error:
        +The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
        +Caused by: (force headList [])
        +Final budget: ({cpu: 109686449
        +| mem: 446532})
        +Logs: 
        \ No newline at end of file
        
        Use -p '/right-fold-built-in/' to rerun this test only.
      right-fold-data:                         FAIL (0.01s)
        Test output was different from 'lists/test/Sum/9.6/right-fold-data.budget.golden'. Output of ["diff","-u","lists/test/Sum/9.6/right-fold-data.budget.golden","/build/right-fold-data.budget27-1.actual"]:
        --- lists/test/Sum/9.6/right-fold-data.budget.golden    1970-01-01 00:00:01.000000000 +0000
        +++ /build/right-fold-data.budget27-1.actual    2024-06-19 23:06:38.617307831 +0000
        @@ -1,2 +1,2 @@
        -({cpu: 375180389
        -| mem: 1144530})
        \ No newline at end of file
        +({cpu: 391441389
        +| mem: 1215230})
        \ No newline at end of file
        
        Use -p '/right-fold-data/' to rerun this test only.
      left-fold-scott:                         OK (0.03s)
      left-fold-built-in:                      FAIL
        Test output was different from 'lists/test/Sum/9.6/left-fold-built-in.budget.golden'. Output of ["diff","-u","lists/test/Sum/9.6/left-fold-built-in.budget.golden","/build/left-fold-built-in.budget27-2.actual"]:
        --- lists/test/Sum/9.6/left-fold-built-in.budget.golden 1970-01-01 00:00:01.000000000 +0000
        +++ /build/left-fold-built-in.budget27-2.actual 2024-06-19 23:06:38.626307709 +0000
        @@ -1,2 +1,6 @@
        -({cpu: 174359654
        -| mem: 564532})
        \ No newline at end of file
        +An error has occurred:  User error:
        +The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
        +Caused by: (force headList [])
        +Final budget: ({cpu: 148734149
        +| mem: 526732})
        +Logs: 
        \ No newline at end of file
        
        Use -p '/left-fold-built-in/' to rerun this test only.
      left-fold-data:                          FAIL
        Test output was different from 'lists/test/Sum/9.6/left-fold-data.budget.golden'. Output of ["diff","-u","lists/test/Sum/9.6/left-fold-data.budget.golden","/build/left-fold-data.budget27-3.actual"]:
        --- lists/test/Sum/9.6/left-fold-data.budget.golden     1970-01-01 00:00:01.000000000 +0000
        +++ /build/left-fold-data.budget27-3.actual     2024-06-19 23:06:38.630307656 +0000
        @@ -1,2 +1,2 @@
        -({cpu: 368280389
        -| mem: 1114530})
        \ No newline at end of file
        +({cpu: 384541389
        +| mem: 1185230})
        \ No newline at end of file
        
        Use -p '/left-fold-data/' to rerun this test only.
  lists/test/Lookup/9.6
    match-scott-list-5:                        OK (0.02s)
    match-builtin-list-5:                      FAIL (0.01s)
      Test output was different from 'lists/test/Lookup/9.6/match-builtin-list-5.budget.golden'. Output of ["diff","-u","lists/test/Lookup/9.6/match-builtin-list-5.budget.golden","/build/match-builtin-list-5.budget27-6.actual"]:
      --- lists/test/Lookup/9.6/match-builtin-list-5.budget.golden      1970-01-01 00:00:01.000000000 +0000
      +++ /build/match-builtin-list-5.budget27-6.actual 2024-06-19 23:06:38.641307507 +0000
      @@ -1,2 +1,6 @@
      -({cpu: 84670834
      -| mem: 261592})
      \ No newline at end of file
      +An error has occurred:  User error:
      +The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
      +Caused by: (force headList [])
      +Final budget: ({cpu: 78760189
      +| mem: 243772})
      +Logs: 
      \ No newline at end of file
      
      Use -p '$0=="plutus-benchmark list tests.lists/test/Lookup/9.6.match-builtin-list-5"' to rerun this test only.
    match-scott-list-10:                       OK (0.02s)
    match-builtin-list-10:                     FAIL (0.01s)
      Test output was different from 'lists/test/Lookup/9.6/match-builtin-list-10.budget.golden'. Output of ["diff","-u","lists/test/Lookup/9.6/match-builtin-list-10.budget.golden","/build/match-builtin-list-10.budget27-8.actual"]:
      --- lists/test/Lookup/9.6/match-builtin-list-10.budget.golden     1970-01-01 00:00:01.000000000 +0000
      +++ /build/match-builtin-list-10.budget27-8.actual        2024-06-19 23:06:38.647307426 +0000
      @@ -1,2 +1,6 @@
      -({cpu: 281818764
      -| mem: 853552})
      \ No newline at end of file
      +An error has occurred:  User error:
      +The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
      +Caused by: (force headList [])
      +Final budget: ({cpu: 268864579
      +| mem: 812412})
      +Logs: 
      \ No newline at end of file
      
      Use -p '$0=="plutus-benchmark list tests.lists/test/Lookup/9.6.match-builtin-list-10"' to rerun this test only.
    match-scott-list-50:                       OK (0.06s)
    match-builtin-list-50:                     FAIL (0.03s)
      Test output was different from 'lists/test/Lookup/9.6/match-builtin-list-50.budget.golden'. Output of ["diff","-u","lists/test/Lookup/9.6/match-builtin-list-50.budget.golden","/build/match-builtin-list-50.budget27-10.actual"]:
      --- lists/test/Lookup/9.6/match-builtin-list-50.budget.golden     1970-01-01 00:00:01.000000000 +0000
      +++ /build/match-builtin-list-50.budget27-10.actual       2024-06-19 23:06:38.672307089 +0000
      @@ -1,2 +1,6 @@
      -({cpu: 5993154004
      -| mem: 17829232})
      \ No newline at end of file
      +An error has occurred:  User error:
      +The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
      +Caused by: (force headList [])
      +Final budget: ({cpu: 5790451499
      +| mem: 17021532})
      +Logs: 
      \ No newline at end of file
      
      Use -p '/match-builtin-list-50/' to rerun this test only.
    match-scott-list-100:                      OK (0.10s)
    match-builtin-list-100:                    FAIL (0.05s)
      Test output was different from 'lists/test/Lookup/9.6/match-builtin-list-100.budget.golden'. Output of ["diff","-u","lists/test/Lookup/9.6/match-builtin-list-100.budget.golden","/build/match-builtin-list-100.budget27-12.actual"]:
      --- lists/test/Lookup/9.6/match-builtin-list-100.budget.golden    1970-01-01 00:00:01.000000000 +0000
      +++ /build/match-builtin-list-100.budget27-12.actual      2024-06-19 23:06:38.704306658 +0000
      @@ -1,2 +1,6 @@
      -({cpu: 23467702554
      -| mem: 69648832})
      \ No newline at end of file
      +An error has occurred:  User error:
      +The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
      +Caused by: (force headList [])
      +Final budget: ({cpu: 22719614649
      +| mem: 66542932})
      +Logs: 
      \ No newline at end of file
      
      Use -p '/match-builtin-list-100/' to rerun this test only.

10 out of 32 tests failed (1.13s)
View more details on IOG Hydra