Test failures on x86 - Githubissues

Hey, I maintain an idris2 package for Alpine Linux which uses musl libc. With the recent release of 0.4.0 I was able to enable the test suite on x86_64. While doing so, I noticed that the test suite fails on x86 while it passes fine on x86_64. On x86, the test cases refc/buffer and refc/integers fail. I am not sure if you officially support 32 bit architecture, if not feel free to close this issue.
The make bootstrap-test output on Alpine Linux Edge x86 looks as follows:
NOTE: `make test` does not rebuild Idris or the libraries packaged with it; to do that run `make`

make[2]: Entering directory '/builds/alpine/aports/testing/idris2/src/Idris2-0.4.0/tests'
./build/exec/runtests /builds/alpine/aports/testing/idris2/src/Idris2-0.4.0/build/exec/idris2  --timing --failure-file failures --threads 48 --only 

------------------------------------------------------------------------
TTImp
------------------------------------------------------------------------

ttimp/basic002: [38;5;10msuccess[0m                            00.559s
ttimp/eta002: [38;5;10msuccess[0m                              00.564s
ttimp/qtt003: [38;5;10msuccess[0m                              00.582s
ttimp/qtt001: [38;5;10msuccess[0m                              00.582s
ttimp/basic004: [38;5;10msuccess[0m                            00.584s
ttimp/total003: [38;5;10msuccess[0m                            00.620s
ttimp/nest001: [38;5;10msuccess[0m                             00.659s
ttimp/basic005: [38;5;10msuccess[0m                            00.665s
ttimp/basic006: [38;5;10msuccess[0m                            00.673s
ttimp/nest002: [38;5;10msuccess[0m                             00.680s
ttimp/record002: [38;5;10msuccess[0m                           00.686s
ttimp/coverage002: [38;5;10msuccess[0m                         00.703s
ttimp/eta001: [38;5;10msuccess[0m                              00.726s
ttimp/perf001: [38;5;10msuccess[0m                             00.746s
ttimp/perf003: [38;5;10msuccess[0m                             00.788s
ttimp/total001: [38;5;10msuccess[0m                            00.794s
ttimp/total002: [38;5;10msuccess[0m                            00.808s
ttimp/perf002: [38;5;10msuccess[0m                             00.889s
ttimp/record003: [38;5;10msuccess[0m                           01.570s
ttimp/basic003: [38;5;10msuccess[0m                            01.154s
ttimp/basic001: [38;5;10msuccess[0m                            01.293s
ttimp/record001: [38;5;10msuccess[0m                           01.339s
ttimp/coverage001: [38;5;10msuccess[0m                         01.696s
ttimp/lazy001: [38;5;10msuccess[0m                             01.772s
ttimp/dot001: [38;5;10msuccess[0m                              02.277s

------------------------------------------------------------------------
Fundamental language features
------------------------------------------------------------------------

idris2/basic005: [38;5;10msuccess[0m                           00.968s
idris2/basic030: [38;5;10msuccess[0m                           01.580s
idris2/basic014: [38;5;10msuccess[0m                           01.680s
idris2/basic031: [38;5;10msuccess[0m                           01.790s
idris2/basic018: [38;5;10msuccess[0m                           01.820s
idris2/basic034: [38;5;10msuccess[0m                           01.890s
idris2/basic010: [38;5;10msuccess[0m                           01.123s
idris2/basic009: [38;5;10msuccess[0m                           01.235s
idris2/basic041: [38;5;10msuccess[0m                           01.380s
idris2/basic004: [38;5;10msuccess[0m                           01.386s
idris2/basic008: [38;5;10msuccess[0m                           01.400s
idris2/basic001: [38;5;10msuccess[0m                           01.415s
idris2/basic033: [38;5;10msuccess[0m                           01.415s
idris2/basic006: [38;5;10msuccess[0m                           01.418s
idris2/basic026: [38;5;10msuccess[0m                           01.451s
idris2/basic002: [38;5;10msuccess[0m                           01.471s
idris2/basic021: [38;5;10msuccess[0m                           01.479s
idris2/basic049: [38;5;10msuccess[0m                           01.478s
idris2/basic013: [38;5;10msuccess[0m                           01.499s
idris2/basic022: [38;5;10msuccess[0m                           01.500s
idris2/basic028: [38;5;10msuccess[0m                           01.503s
idris2/basic007: [38;5;10msuccess[0m                           01.516s
idris2/basic039: [38;5;10msuccess[0m                           01.527s
idris2/basic019: [38;5;10msuccess[0m                           01.540s
idris2/basic012: [38;5;10msuccess[0m                           01.555s
idris2/basic015: [38;5;10msuccess[0m                           01.556s
idris2/basic045: [38;5;10msuccess[0m                           01.560s
idris2/basic040: [38;5;10msuccess[0m                           01.571s
idris2/basic027: [38;5;10msuccess[0m                           01.588s
idris2/basic017: [38;5;10msuccess[0m                           01.640s
idris2/basic038: [38;5;10msuccess[0m                           01.664s
idris2/basic047: [38;5;10msuccess[0m                           01.751s
idris2/basic003: [38;5;10msuccess[0m                           01.804s
idris2/basic016: [38;5;10msuccess[0m                           01.812s
idris2/basic023: [38;5;10msuccess[0m                           01.957s
idris2/basic024: [38;5;10msuccess[0m                           01.970s
idris2/basic036: [38;5;10msuccess[0m                           01.998s
idris2/basic035: [38;5;10msuccess[0m                           02.130s
idris2/basic029: [38;5;10msuccess[0m                           02.220s
idris2/basic046: [38;5;10msuccess[0m                           02.700s
idris2/basic020: [38;5;10msuccess[0m                           02.150s
idris2/basic037: [38;5;10msuccess[0m                           02.176s
idris2/basic025: [38;5;10msuccess[0m                           02.341s
idris2/basic044: [38;5;10msuccess[0m                           02.384s
idris2/basic032: [38;5;10msuccess[0m                           02.539s
idris2/basic043: [38;5;10msuccess[0m                           02.627s
idris2/basic011: [38;5;10msuccess[0m                           02.669s
idris2/basic042: [38;5;10msuccess[0m                           03.699s
idris2/basic059: [38;5;10msuccess[0m                           00.852s
idris2/basic057: [38;5;10msuccess[0m                           00.893s
idris2/basic051: [38;5;10msuccess[0m                           00.893s
idris2/basic054: [38;5;10msuccess[0m                           01.000s
idris2/basic052: [38;5;10msuccess[0m                           01.100s
idris2/basic056: [38;5;10msuccess[0m                           01.600s
idris2/basic053: [38;5;10msuccess[0m                           01.800s
idris2/basic050: [38;5;10msuccess[0m                           01.297s
idris2/basic061: [38;5;10msuccess[0m                           01.598s
idris2/basic060: [38;5;10msuccess[0m                           01.732s
idris2/basic058: [38;5;10msuccess[0m                           01.733s
idris2/basic055: [38;5;10msuccess[0m                           01.772s

------------------------------------------------------------------------
Coverage checking
------------------------------------------------------------------------

idris2/coverage014: [38;5;10msuccess[0m                        00.631s
idris2/coverage003: [38;5;10msuccess[0m                        00.656s
idris2/coverage004: [38;5;10msuccess[0m                        00.702s
idris2/coverage007: [38;5;10msuccess[0m                        00.778s
idris2/coverage009: [38;5;10msuccess[0m                        00.854s
idris2/coverage010: [38;5;10msuccess[0m                        00.901s
idris2/coverage006: [38;5;10msuccess[0m                        00.937s
idris2/coverage008: [38;5;10msuccess[0m                        00.946s
idris2/coverage011: [38;5;10msuccess[0m                        00.955s
idris2/coverage002: [38;5;10msuccess[0m                        00.957s
idris2/coverage005: [38;5;10msuccess[0m                        00.970s
idris2/coverage001: [38;5;10msuccess[0m                        00.982s
idris2/coverage017: [38;5;10msuccess[0m                        01.100s
idris2/coverage012: [38;5;10msuccess[0m                        01.180s
idris2/coverage013: [38;5;10msuccess[0m                        01.212s
idris2/coverage015: [38;5;10msuccess[0m                        01.278s
idris2/coverage016: [38;5;10msuccess[0m                        01.552s

------------------------------------------------------------------------
Case tree building
------------------------------------------------------------------------

idris2/casetree001: [38;5;10msuccess[0m                        01.369s

------------------------------------------------------------------------
Error messages
------------------------------------------------------------------------

idris2/perror004: [38;5;10msuccess[0m                          00.496s
idris2/perror001: [38;5;10msuccess[0m                          00.500s
idris2/perror002: [38;5;10msuccess[0m                          00.507s
idris2/perror005: [38;5;10msuccess[0m                          00.509s
idris2/error009: [38;5;10msuccess[0m                           00.572s
idris2/error008: [38;5;10msuccess[0m                           00.574s
idris2/error012: [38;5;10msuccess[0m                           00.587s
idris2/error011: [38;5;10msuccess[0m                           00.630s
idris2/error007: [38;5;10msuccess[0m                           00.630s
idris2/error019: [38;5;10msuccess[0m                           00.632s
idris2/error010: [38;5;10msuccess[0m                           00.636s
idris2/error014: [38;5;10msuccess[0m                           00.639s
idris2/error003: [38;5;10msuccess[0m                           00.640s
idris2/error013: [38;5;10msuccess[0m                           00.654s
idris2/error006: [38;5;10msuccess[0m                           00.665s
idris2/perror006: [38;5;10msuccess[0m                          00.692s
idris2/error001: [38;5;10msuccess[0m                           00.766s
idris2/error005: [38;5;10msuccess[0m                           00.768s
idris2/error015: [38;5;10msuccess[0m                           00.811s
idris2/perror003: [38;5;10msuccess[0m                          00.933s
idris2/error002: [38;5;10msuccess[0m                           01.240s
idris2/error004: [38;5;10msuccess[0m                           01.227s
idris2/error017: [38;5;10msuccess[0m                           01.466s
idris2/error016: [38;5;10msuccess[0m                           02.241s
idris2/error018: [38;5;10msuccess[0m                           02.364s
idris2/perror008: [38;5;10msuccess[0m                          03.434s
idris2/perror007: [38;5;10msuccess[0m                          05.679s

------------------------------------------------------------------------
Warnings
------------------------------------------------------------------------

idris2/warning001: [38;5;10msuccess[0m                         04.176s

------------------------------------------------------------------------
Interactive editing
------------------------------------------------------------------------

idris2/interactive030: [38;5;10msuccess[0m                     00.913s
idris2/interactive001: [38;5;10msuccess[0m                     00.972s
idris2/interactive008: [38;5;10msuccess[0m                     00.998s
idris2/interactive029: [38;5;10msuccess[0m                     01.200s
idris2/interactive013: [38;5;10msuccess[0m                     01.230s
idris2/interactive011: [38;5;10msuccess[0m                     01.240s
idris2/interactive004: [38;5;10msuccess[0m                     01.240s
idris2/interactive031: [38;5;10msuccess[0m                     01.410s
idris2/interactive021: [38;5;10msuccess[0m                     01.540s
idris2/interactive027: [38;5;10msuccess[0m                     01.550s
idris2/interactive017: [38;5;10msuccess[0m                     01.830s
idris2/interactive033: [38;5;10msuccess[0m                     01.227s
idris2/interactive028: [38;5;10msuccess[0m                     01.270s
idris2/interactive024: [38;5;10msuccess[0m                     01.300s
idris2/interactive012: [38;5;10msuccess[0m                     01.302s
idris2/interactive006: [38;5;10msuccess[0m                     01.310s
idris2/interactive026: [38;5;10msuccess[0m                     01.319s
idris2/interactive002: [38;5;10msuccess[0m                     01.327s
idris2/interactive025: [38;5;10msuccess[0m                     01.332s
idris2/interactive020: [38;5;10msuccess[0m                     01.332s
idris2/interactive014: [38;5;10msuccess[0m                     01.334s
idris2/interactive023: [38;5;10msuccess[0m                     01.334s
idris2/interactive022: [38;5;10msuccess[0m                     01.341s
idris2/interactive010: [38;5;10msuccess[0m                     01.343s
idris2/interactive032: [38;5;10msuccess[0m                     01.344s
idris2/interactive035: [38;5;10msuccess[0m                     01.350s
idris2/interactive007: [38;5;10msuccess[0m                     01.360s
idris2/interactive009: [38;5;10msuccess[0m                     01.403s
idris2/interactive018: [38;5;10msuccess[0m                     01.627s
idris2/interactive015: [38;5;10msuccess[0m                     01.643s
idris2/interactive005: [38;5;10msuccess[0m                     01.856s
idris2/interactive019: [38;5;10msuccess[0m                     01.911s
idris2/interactive034: [38;5;10msuccess[0m                     02.121s
idris2/interactive003: [38;5;10msuccess[0m                     02.132s
idris2/interactive016: [38;5;10msuccess[0m                     02.800s

------------------------------------------------------------------------
Interface
------------------------------------------------------------------------

idris2/interface016: [38;5;10msuccess[0m                       00.629s
idris2/interface019: [38;5;10msuccess[0m                       00.635s
idris2/interface013: [38;5;10msuccess[0m                       00.642s
idris2/interface002: [38;5;10msuccess[0m                       00.720s
idris2/interface008: [38;5;10msuccess[0m                       00.839s
idris2/interface015: [38;5;10msuccess[0m                       00.853s
idris2/interface026: [38;5;10msuccess[0m                       00.903s
idris2/interface020: [38;5;10msuccess[0m                       00.944s
idris2/interface021: [38;5;10msuccess[0m                       00.955s
idris2/interface009: [38;5;10msuccess[0m                       00.960s
idris2/interface003: [38;5;10msuccess[0m                       00.963s
idris2/interface010: [38;5;10msuccess[0m                       00.966s
idris2/interface014: [38;5;10msuccess[0m                       00.978s
idris2/interface011: [38;5;10msuccess[0m                       00.981s
idris2/interface025: [38;5;10msuccess[0m                       01.120s
idris2/interface007: [38;5;10msuccess[0m                       01.170s
idris2/interface012: [38;5;10msuccess[0m                       01.170s
idris2/interface017: [38;5;10msuccess[0m                       01.146s
idris2/interface005: [38;5;10msuccess[0m                       01.187s
idris2/interface024: [38;5;10msuccess[0m                       01.305s
idris2/interface004: [38;5;10msuccess[0m                       01.342s
idris2/interface006: [38;5;10msuccess[0m                       01.347s
idris2/interface023: [38;5;10msuccess[0m                       01.525s
idris2/interface022: [38;5;10msuccess[0m                       01.555s
idris2/interface001: [38;5;10msuccess[0m                       01.780s
idris2/interface018: [38;5;10msuccess[0m                       03.175s

------------------------------------------------------------------------
Literate programming
------------------------------------------------------------------------

idris2/literate004: [38;5;10msuccess[0m                        00.876s
idris2/literate001: [38;5;10msuccess[0m                        00.897s
idris2/literate014: [38;5;10msuccess[0m                        00.905s
idris2/literate010: [38;5;10msuccess[0m                        00.907s
idris2/literate006: [38;5;10msuccess[0m                        00.920s
idris2/literate015: [38;5;10msuccess[0m                        00.930s
idris2/literate016: [38;5;10msuccess[0m                        00.930s
idris2/literate012: [38;5;10msuccess[0m                        00.933s
idris2/literate005: [38;5;10msuccess[0m                        00.952s
idris2/literate008: [38;5;10msuccess[0m                        00.965s
idris2/literate011: [38;5;10msuccess[0m                        00.971s
idris2/literate009: [38;5;10msuccess[0m                        01.190s
idris2/literate003: [38;5;10msuccess[0m                        01.451s
idris2/literate013: [38;5;10msuccess[0m                        01.701s
idris2/literate002: [38;5;10msuccess[0m                        01.785s
idris2/literate007: [38;5;10msuccess[0m                        01.874s

------------------------------------------------------------------------
Quantities
------------------------------------------------------------------------

idris2/linear007: [38;5;10msuccess[0m                          00.606s
idris2/linear001: [38;5;10msuccess[0m                          00.648s
idris2/linear002: [38;5;10msuccess[0m                          00.666s
idris2/linear003: [38;5;10msuccess[0m                          00.681s
idris2/linear014: [38;5;10msuccess[0m                          00.860s
idris2/linear006: [38;5;10msuccess[0m                          00.869s
idris2/linear012: [38;5;10msuccess[0m                          00.874s
idris2/linear013: [38;5;10msuccess[0m                          00.899s
idris2/linear009: [38;5;10msuccess[0m                          00.922s
idris2/linear010: [38;5;10msuccess[0m                          00.950s
idris2/linear011: [38;5;10msuccess[0m                          00.955s
idris2/linear008: [38;5;10msuccess[0m                          00.967s
idris2/linear005: [38;5;10msuccess[0m                          00.970s

------------------------------------------------------------------------
Performance
------------------------------------------------------------------------

idris2/perf003: [38;5;10msuccess[0m                            00.892s
idris2/perf004: [38;5;10msuccess[0m                            00.929s
idris2/perf007: [38;5;10msuccess[0m                            00.934s
idris2/perf002: [38;5;10msuccess[0m                            01.750s
idris2/perf001: [38;5;10msuccess[0m                            01.395s
idris2/perf005: [38;5;10msuccess[0m                            01.990s
idris2/perf008: [38;5;10msuccess[0m                            03.228s

------------------------------------------------------------------------
Various regressions
------------------------------------------------------------------------

idris2/reg040: [38;5;10msuccess[0m                             00.646s
idris2/reg019: [38;5;10msuccess[0m                             00.653s
idris2/reg023: [38;5;10msuccess[0m                             00.668s
idris2/reg013: [38;5;10msuccess[0m                             00.906s
idris2/reg039: [38;5;10msuccess[0m                             01.150s
idris2/reg041: [38;5;10msuccess[0m                             01.140s
idris2/reg017: [38;5;10msuccess[0m                             01.150s
idris2/reg026: [38;5;10msuccess[0m                             01.160s
idris2/reg021: [38;5;10msuccess[0m                             01.240s
idris2/reg005: [38;5;10msuccess[0m                             01.320s
idris2/reg007: [38;5;10msuccess[0m                             01.360s
idris2/reg034: [38;5;10msuccess[0m                             01.460s
idris2/reg015: [38;5;10msuccess[0m                             01.560s
idris2/reg043: [38;5;10msuccess[0m                             01.119s
idris2/reg028: [38;5;10msuccess[0m                             01.233s
idris2/reg032: [38;5;10msuccess[0m                             01.260s
idris2/reg004: [38;5;10msuccess[0m                             01.328s
idris2/reg012: [38;5;10msuccess[0m                             01.335s
idris2/reg035: [38;5;10msuccess[0m                             01.338s
idris2/reg025: [38;5;10msuccess[0m                             01.354s
idris2/reg006: [38;5;10msuccess[0m                             01.372s
idris2/reg037: [38;5;10msuccess[0m                             01.377s
idris2/reg016: [38;5;10msuccess[0m                             01.381s
idris2/reg031: [38;5;10msuccess[0m                             01.383s
idris2/reg014: [38;5;10msuccess[0m                             01.384s
idris2/reg029: [38;5;10msuccess[0m                             01.388s
idris2/reg022: [38;5;10msuccess[0m                             01.401s
idris2/reg002: [38;5;10msuccess[0m                             01.401s
idris2/reg011: [38;5;10msuccess[0m                             01.405s
idris2/reg024: [38;5;10msuccess[0m                             01.409s
idris2/reg042: [38;5;10msuccess[0m                             01.420s
idris2/reg009: [38;5;10msuccess[0m                             01.436s
idris2/reg036: [38;5;10msuccess[0m                             01.436s
idris2/reg010: [38;5;10msuccess[0m                             01.437s
idris2/reg020: [38;5;10msuccess[0m                             01.470s
idris2/reg030: [38;5;10msuccess[0m                             01.473s
idris2/reg001: [38;5;10msuccess[0m                             01.474s
idris2/reg027: [38;5;10msuccess[0m                             01.479s
idris2/reg038: [38;5;10msuccess[0m                             01.537s
idris2/reg018: [38;5;10msuccess[0m                             01.541s
idris2/reg008: [38;5;10msuccess[0m                             01.630s
idris2/reg033: [38;5;10msuccess[0m                             01.815s
idris2/reg003: [38;5;10msuccess[0m                             01.894s

------------------------------------------------------------------------
Data and record types
------------------------------------------------------------------------

idris2/record008: [38;5;10msuccess[0m                          00.848s
idris2/record007: [38;5;10msuccess[0m                          00.869s
idris2/record003: [38;5;10msuccess[0m                          00.896s
idris2/data001: [38;5;10msuccess[0m                            00.930s
idris2/record005: [38;5;10msuccess[0m                          00.994s
idris2/record006: [38;5;10msuccess[0m                          01.600s
idris2/record001: [38;5;10msuccess[0m                          01.243s
idris2/record002: [38;5;10msuccess[0m                          01.478s
idris2/record004: [38;5;10msuccess[0m                          03.156s

------------------------------------------------------------------------
Builtin types and functions
------------------------------------------------------------------------

idris2/builtin002: [38;5;10msuccess[0m                         00.644s
idris2/builtin008: [38;5;10msuccess[0m                         00.649s
idris2/builtin004: [38;5;10msuccess[0m                         00.671s
idris2/builtin010: [38;5;10msuccess[0m                         00.686s
idris2/builtin006: [38;5;10msuccess[0m                         00.738s
idris2/builtin005: [38;5;10msuccess[0m                         00.839s
idris2/builtin003: [38;5;10msuccess[0m                         00.849s
idris2/builtin001: [38;5;10msuccess[0m                         00.891s
idris2/builtin007: [38;5;10msuccess[0m                         00.923s
idris2/builtin009: [38;5;10msuccess[0m                         01.690s
idris2/builtin011: [38;5;10msuccess[0m                         01.850s

------------------------------------------------------------------------
Evaluation
------------------------------------------------------------------------

idris2/interpreter002: [38;5;10msuccess[0m                     00.663s
idris2/evaluator001: [38;5;10msuccess[0m                       00.888s
idris2/interpreter001: [38;5;10msuccess[0m                     00.914s
idris2/interpreter005: [38;5;10msuccess[0m                     00.943s
idris2/evaluator002: [38;5;10msuccess[0m                       01.530s
idris2/interpreter007: [38;5;10msuccess[0m                     01.198s
idris2/evaluator003: [38;5;10msuccess[0m                       01.650s
idris2/interpreter003: [38;5;10msuccess[0m                     01.743s
idris2/interpreter006: [38;5;10msuccess[0m                     01.966s
idris2/interpreter004: [38;5;10msuccess[0m                     03.887s

------------------------------------------------------------------------
Misc
------------------------------------------------------------------------

idris2/total008: [38;5;10msuccess[0m                           01.107s
idris2/total007: [38;5;10msuccess[0m                           01.120s
idris2/reflection006: [38;5;10msuccess[0m                      01.139s
idris2/pkg009: [38;5;10msuccess[0m                             01.208s
idris2/pkg008: [38;5;10msuccess[0m                             01.213s
idris2/pkg010: [38;5;10msuccess[0m                             01.217s
idris2/lazy001: [38;5;10msuccess[0m                            01.222s
idris2/pkg001: [38;5;10msuccess[0m                             01.236s
idris2/reflection003: [38;5;10msuccess[0m                      01.371s
idris2/import002: [38;5;10msuccess[0m                          01.436s
idris2/docs001: [38;5;10msuccess[0m                            01.448s
idris2/positivity002: [38;5;10msuccess[0m                      01.453s
idris2/params002: [38;5;10msuccess[0m                          01.463s
idris2/import004: [38;5;10msuccess[0m                          01.465s
idris2/total002: [38;5;10msuccess[0m                           01.468s
idris2/total005: [38;5;10msuccess[0m                           01.531s
idris2/positivity003: [38;5;10msuccess[0m                      01.537s
idris2/eta001: [38;5;10msuccess[0m                             01.545s
idris2/positivity001: [38;5;10msuccess[0m                      01.545s
idris2/total010: [38;5;10msuccess[0m                           01.544s
idris2/reflection005: [38;5;10msuccess[0m                      01.549s
idris2/total003: [38;5;10msuccess[0m                           01.559s
idris2/total009: [38;5;10msuccess[0m                           01.570s
idris2/total001: [38;5;10msuccess[0m                           01.571s
idris2/pkg002: [38;5;10msuccess[0m                             01.617s
idris2/total006: [38;5;10msuccess[0m                           01.639s
idris2/reflection007: [38;5;10msuccess[0m                      01.655s
idris2/total004: [38;5;10msuccess[0m                           01.710s
idris2/reflection009: [38;5;10msuccess[0m                      01.787s
idris2/docs003: [38;5;10msuccess[0m                            01.818s
idris2/docs002: [38;5;10msuccess[0m                            01.831s
idris2/lazy002: [38;5;10msuccess[0m                            01.832s
idris2/reflection008: [38;5;10msuccess[0m                      01.954s
idris2/reflection002: [38;5;10msuccess[0m                      02.300s
idris2/reflection001: [38;5;10msuccess[0m                      02.250s
idris2/params001: [38;5;10msuccess[0m                          02.133s
idris2/real001: [38;5;10msuccess[0m                            02.139s
idris2/pkg004: [38;5;10msuccess[0m                             02.185s
idris2/namespace001: [38;5;10msuccess[0m                       02.218s
idris2/reflection004: [38;5;10msuccess[0m                      02.272s
idris2/import005: [38;5;10msuccess[0m                          02.296s
idris2/import003: [38;5;10msuccess[0m                          02.447s
idris2/pkg006: [38;5;10msuccess[0m                             02.999s
idris2/pkg005: [38;5;10msuccess[0m                             03.500s
idris2/real002: [38;5;10msuccess[0m                            03.259s
idris2/pkg007: [38;5;10msuccess[0m                             03.395s
idris2/pkg003: [38;5;10msuccess[0m                             04.273s
idris2/import001: [38;5;10msuccess[0m                          04.470s
idris2/pretty001: [38;5;10msuccess[0m                          00.867s
idris2/with002: [38;5;10msuccess[0m                            00.871s
idris2/with001: [38;5;10msuccess[0m                            00.901s
idris2/with005: [38;5;10msuccess[0m                            01.718s
idris2/with004: [38;5;10msuccess[0m                            01.781s
idris2/with003: [38;5;10msuccess[0m                            02.380s

------------------------------------------------------------------------
Type Driven Development
------------------------------------------------------------------------

typedd-book/chapter03: [38;5;10msuccess[0m                     01.402s
typedd-book/chapter07: [38;5;10msuccess[0m                     01.472s
typedd-book/chapter02: [38;5;10msuccess[0m                     01.505s
typedd-book/chapter09: [38;5;10msuccess[0m                     01.520s
typedd-book/chapter13: [38;5;10msuccess[0m                     01.660s
typedd-book/chapter05: [38;5;10msuccess[0m                     01.668s
typedd-book/chapter06: [38;5;10msuccess[0m                     01.669s
typedd-book/chapter08: [38;5;10msuccess[0m                     01.673s
typedd-book/chapter04: [38;5;10msuccess[0m                     01.739s
typedd-book/chapter14: [38;5;10msuccess[0m                     01.761s
typedd-book/chapter01: [38;5;10msuccess[0m                     01.899s
typedd-book/chapter12: [38;5;10msuccess[0m                     02.920s
typedd-book/chapter11: [38;5;10msuccess[0m                     02.111s
typedd-book/chapter10: [38;5;10msuccess[0m                     02.310s

------------------------------------------------------------------------
IDE mode
------------------------------------------------------------------------

ideMode/ideMode004: [38;5;10msuccess[0m                        00.835s
ideMode/ideMode003: [38;5;10msuccess[0m                        00.934s
ideMode/ideMode001: [38;5;10msuccess[0m                        01.141s
ideMode/ideMode002: [38;5;10msuccess[0m                        01.224s
ideMode/ideMode005: [38;5;10msuccess[0m                        15.411s

------------------------------------------------------------------------
Prelude library
------------------------------------------------------------------------

prelude/reg001: [38;5;10msuccess[0m                            00.828s

------------------------------------------------------------------------
Base library
✓ Found Chez at /usr/bin/chez
✗ node not found
------------------------------------------------------------------------

------------------------------------------------------------------------
Contrib library
✓ Found Chez at /usr/bin/chez
✗ node not found
------------------------------------------------------------------------

------------------------------------------------------------------------
Chez backend
✓ Found Chez at /usr/bin/chez
------------------------------------------------------------------------

chez/chez005: [38;5;10msuccess[0m                              01.175s
chez/chez015: [38;5;10msuccess[0m                              01.228s
chez/chez025: [38;5;10msuccess[0m                              01.260s
chez/chez003: [38;5;10msuccess[0m                              01.301s
chez/chez009: [38;5;10msuccess[0m                              01.567s
chez/chez016: [38;5;10msuccess[0m                              01.650s
chez/chez008: [38;5;10msuccess[0m                              01.692s
chez/semaphores001: [38;5;10msuccess[0m                        01.698s
chez/semaphores002: [38;5;10msuccess[0m                        01.699s
chez/chez001: [38;5;10msuccess[0m                              01.723s
chez/chez007: [38;5;10msuccess[0m                              01.724s
chez/reg001: [38;5;10msuccess[0m                               01.737s
chez/chez012: [38;5;10msuccess[0m                              01.743s
chez/chez022: [38;5;10msuccess[0m                              01.784s
chez/chez024: [38;5;10msuccess[0m                              01.796s
chez/chez030: [38;5;10msuccess[0m                              01.803s
chez/perf001: [38;5;10msuccess[0m                              01.813s
chez/chez029: [38;5;10msuccess[0m                              01.853s
chez/chez017: [38;5;10msuccess[0m                              01.855s
chez/chez018: [38;5;10msuccess[0m                              01.855s
chez/chez026: [38;5;10msuccess[0m                              01.859s
chez/chez013: [38;5;10msuccess[0m                              01.867s
chez/chez010: [38;5;10msuccess[0m                              01.875s
chez/chez002: [38;5;10msuccess[0m                              01.879s
chez/chez006: [38;5;10msuccess[0m                              01.955s
chez/bitops: [38;5;10msuccess[0m                               01.994s
chez/chez019: [38;5;10msuccess[0m                              02.150s
chez/chez023: [38;5;10msuccess[0m                              02.340s
chez/chez014: [38;5;10msuccess[0m                              02.121s
chez/chez021: [38;5;10msuccess[0m                              02.175s
chez/chez028: [38;5;10msuccess[0m                              02.177s
chez/chez011: [38;5;10msuccess[0m                              02.223s
chez/chez004: [38;5;10msuccess[0m                              02.236s
chez/chez027: [38;5;10msuccess[0m                              02.259s
chez/chez020: [38;5;10msuccess[0m                              02.465s
chez/chez032: [38;5;10msuccess[0m                              02.469s
chez/chez031: [38;5;10msuccess[0m                              03.321s
chez/casts: [38;5;10msuccess[0m                                03.437s
chez/futures001: [38;5;10msuccess[0m                           04.709s
chez/newints: [38;5;10msuccess[0m                              06.209s
chez/integers: [38;5;10msuccess[0m                             11.930s

------------------------------------------------------------------------
Reference counting C backend
✓ Found C at gcc
------------------------------------------------------------------------

refc/refc001: [38;5;10msuccess[0m                              01.710s
refc/refc002: [38;5;10msuccess[0m                              01.149s
refc/clock: [38;5;10msuccess[0m                                01.258s
refc/doubles: [38;5;10msuccess[0m                              01.371s
refc/args: [38;5;10msuccess[0m                                 01.649s
refc/buffer: [38;5;9mFAILURE[0m                                02.604s
Expected:
31
1
2
1234605616436508552
1.414214
"Hello, world"
[1, 2, 136, 119, 102, 85, 68, 51, 34, 17, 205, 59, 127, 102, 158, 160, 246, 63, 72, 101, 108, 108, 111, 44, 32, 119, 111, 114, 108, 100, 0]
[0, 255, 238, 221, 204, 187, 170, 153]
ABEiM0RVZnc=

Given:
31
1
2
1432778632
1.414214
"Hello, world"
[1, 2, 136, 119, 102, 85, 0, 0, 0, 0, 205, 59, 127, 102, 158, 160, 246, 63, 72, 101, 108, 108, 111, 44, 32, 119, 111, 114, 108, 100, 0]
[0, 255, 238, 221, 204, 187, 170, 153]
ABEiMwAAAAA=

refc/strings: [38;5;10msuccess[0m                              03.342s
refc/integers: [38;5;9mFAILURE[0m                              43.570s
Expected:
Cast to String:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 5000000000000000000, 18446744073709551615, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775809, 0, 9223372036854775808]
Cast to Bits8:
[0, 50, 255, 0, 16, 255, 0, 0, 255, 0, 0, 255, 128, 50, 127, 0, 16, 255, 0, 0, 255, 0, 0, 255, 0, 0, 255, 255, 0, 0]
Cast to Bits16:
[0, 50, 255, 0, 10000, 65535, 0, 51712, 65535, 0, 0, 65535, 65408, 50, 127, 32768, 10000, 32767, 0, 25856, 65535, 0, 0, 65535, 0, 0, 65535, 65535, 0, 0]
Cast to Bits32:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 1156841472, 4294967295, 4294967168, 50, 127, 4294934528, 10000, 32767, 2147483648, 500000000, 2147483647, 0, 2808348672, 4294967295, 0, 2808348672, 4294967295, 4294967295, 0, 0]
Cast to Bits64:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 5000000000000000000, 18446744073709551615, 18446744073709551488, 50, 127, 18446744073709518848, 10000, 32767, 18446744071562067968, 500000000, 2147483647, 9223372036854775808, 1000000000000000000, 9223372036854775807, 9223372036854775808, 1000000000000000000, 9223372036854775807, 9223372036854775807, 0, 9223372036854775808]
Cast to Int:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 5000000000000000000, -1, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775808, 1000000000000000000, 9223372036854775807, 9223372036854775807, 0, -9223372036854775808]
Cast to Integer:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 5000000000000000000, 18446744073709551615, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775809, 0, 9223372036854775808]
Add:
[1, 51, 0, 1, 10001, 0, 1, 1000000001, 0, 1, 5000000000000000001, 0, -127, 51, -128, -32767, 10001, -32768, -2147483647, 500000001, -2147483648, -9223372036854775807, 1000000000000000001, -9223372036854775808, -9223372036854775807, 1000000000000000001, -9223372036854775808, -9223372036854775808, 1, 9223372036854775809]
Subtract:
[255, 49, 254, 65535, 9999, 65534, 4294967295, 999999999, 4294967294, 18446744073709551615, 4999999999999999999, 18446744073709551614, 127, 49, 126, 32767, 9999, 32766, 2147483647, 499999999, 2147483646, 9223372036854775807, 999999999999999999, 9223372036854775806, 9223372036854775807, 999999999999999999, 9223372036854775806, -9223372036854775810, -1, 9223372036854775807]
Negate:
[0, 206, 1, 0, 55536, 1, 0, 3294967296, 1, 0, 13446744073709551616, 1, -128, -50, -127, -32768, -10000, -32767, -2147483648, -500000000, -2147483647, -9223372036854775808, -1000000000000000000, -9223372036854775807, -9223372036854775808, -1000000000000000000, -9223372036854775807, 9223372036854775809, 0, -9223372036854775808]
Multiply:
[0, 100, 254, 0, 20000, 65534, 0, 2000000000, 4294967294, 0, 10000000000000000000, 18446744073709551614, 0, 100, -2, 0, 20000, -2, 0, 1000000000, -2, 0, 2000000000000000000, -2, 0, 2000000000000000000, -2, -18446744073709551618, 0, 18446744073709551616]
Divide:
[0, 16, 85, 0, 3333, 21845, 0, 333333333, 1431655765, 0, 1666666666666666666, 6148914691236517205, -43, 16, 42, -10923, 3333, 10922, -715827883, 166666666, 715827882, -3074457345618258603, 333333333333333333, 3074457345618258602, -3074457345618258603, 333333333333333333, 3074457345618258602, -3074457345618258603, 0, 3074457345618258602]
[0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 43, -16, -42, 10923, -3333, -10922, 715827883, -166666666, -715827882, 3074457345618258603, -333333333333333333, -3074457345618258602, 3074457345618258603, -333333333333333333, -3074457345618258602, 3074457345618258603, 0, -3074457345618258602]
Mod:
[0, 16, 0, 0, 4, 0, 0, 7, 0, 0, 7, 0, 8, 16, 8, 8, 4, 8, 8, 12, 8, 8, 15, 8, 8, 15, 8, 7, 0, 9]
[0, 50, 16, 0, 10000, 16, 0, 1000000000, 16, 0, 5000000000000000000, 16, 8, 16, 8, 8, 4, 8, 8, 12, 8, 8, 15, 8, 8, 15, 8, 7, 0, 9]
Division Euclidean:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 5000000000000000000, 18446744073709551615, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775809, 0, 9223372036854775808]
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 5000000000000000000, 18446744073709551615, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775808, 1000000000000000000, 9223372036854775807, -9223372036854775809, 0, 9223372036854775808]
Shift:
[0, 100, 254, 0, 20000, 65534, 0, 2000000000, 4294967294, 0, 10000000000000000000, 18446744073709551614, 0, 100, -2, 0, 20000, -2, 0, 1000000000, -2, 0, 2000000000000000000, -2, 0, 2000000000000000000, -2, -18446744073709551618, 0, 18446744073709551616]
[0, 25, 127, 0, 5000, 32767, 0, 500000000, 2147483647, 0, 2500000000000000000, 9223372036854775807, -64, 25, 63, -16384, 5000, 16383, -1073741824, 250000000, 1073741823, -4611686018427387904, 500000000000000000, 4611686018427387903, -4611686018427387904, 500000000000000000, 4611686018427387903, -4611686018427387905, 0, 4611686018427387904]
Bit Ops:
[0, 34, 170, 0, 0, 170, 0, 0, 170, 0, 0, 170, -128, 34, 42, 0, 0, 170, 0, 0, 170, 0, 0, 170, 0, 0, 170, 170, 0, 0]
[170, 186, 255, 170, 10170, 65535, 170, 1000000170, 4294967295, 170, 5000000000000000170, 18446744073709551615, -86, -70, -1, -32598, 10170, 32767, -2147483478, 500000170, 2147483647, -9223372036854775638, 1000000000000000170, 9223372036854775807, -9223372036854775638, 1000000000000000170, 9223372036854775807, -9223372036854775809, 170, 9223372036854775978]
[170, 152, 85, 170, 10170, 65365, 170, 1000000170, 4294967125, 170, 5000000000000000170, 18446744073709551445, 42, -104, -43, -32598, 10170, 32597, -2147483478, 500000170, 2147483477, -9223372036854775638, 1000000000000000170, 9223372036854775637, -9223372036854775638, 1000000000000000170, 9223372036854775637, -9223372036854775979, 170, 9223372036854775978]
Comparisons:
[False, False, False, False, False, False, False, False, False, False, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False]
[True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, True, False]
[False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, False, True]
[False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, False, True]
[True, False, False, True, False, False, True, False, False, True, False, False, False, False, False, False, False, False, False, False, False, False, False, False, False, False, False, False, True, False]
[True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, True, False]
[True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, True, False]
[True, True, True, True, True, True, True, True, True, True, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True]
[False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, False, True]

Given:
Cast to String:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 1156841472, 4294967295, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, 0, 2808348672, 4294967295, 0, 2808348672, 4294967295, -9223372036854775809, 0, 9223372036854775808]
Cast to Bits8:
[0, 50, 255, 0, 16, 255, 0, 0, 255, 0, 0, 255, 128, 50, 127, 0, 16, 255, 0, 0, 255, 0, 0, 255, 0, 0, 255, 255, 0, 0]
Cast to Bits16:
[0, 50, 255, 0, 10000, 65535, 0, 51712, 65535, 0, 0, 65535, 65408, 50, 127, 32768, 10000, 32767, 0, 25856, 65535, 0, 0, 65535, 0, 0, 65535, 65535, 0, 0]
Cast to Bits32:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 1156841472, 4294967295, 4294967168, 50, 127, 4294934528, 10000, 32767, 2147483648, 500000000, 2147483647, 0, 2808348672, 4294967295, 0, 2808348672, 4294967295, 4294967295, 0, 0]
Cast to Bits64:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 1156841472, 4294967295, 18446744073709551488, 50, 127, 18446744073709518848, 10000, 32767, 18446744071562067968, 500000000, 2147483647, 0, 2808348672, 4294967295, 0, 2808348672, 4294967295, 4294967295, 0, 0]
Cast to Int:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 1156841472, 4294967295, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, 0, 2808348672, 4294967295, 0, 2808348672, 4294967295, 4294967295, 0, 0]
Cast to Integer:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 1156841472, 4294967295, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, 0, -1486618624, -1, 0, -1486618624, -1, -9223372036854775809, 0, 9223372036854775808]
Add:
[1, 51, 0, 1, 10001, 0, 1, 1000000001, 0, 1, 1156841473, 4294967296, -127, 51, -128, -32767, 10001, -32768, -2147483647, 500000001, -2147483648, 1, 2808348673, 4294967296, 1, 2808348673, 4294967296, -9223372036854775808, 1, 9223372036854775809]
Subtract:
[255, 49, 254, 65535, 9999, 65534, 4294967295, 999999999, 4294967294, 18446744073709551615, 1156841471, 4294967294, 127, 49, 126, 32767, 9999, 32766, 2147483647, 499999999, 2147483646, -1, 2808348671, 4294967294, -1, 2808348671, 4294967294, -9223372036854775810, -1, 9223372036854775807]
Negate:
[0, 206, 1, 0, 55536, 1, 0, 3294967296, 1, 0, 18446744072552710144, 18446744069414584321, -128, -50, -127, -32768, -10000, -32767, -2147483648, -500000000, -2147483647, 0, -2808348672, -4294967295, 0, -2808348672, -4294967295, 9223372036854775809, 0, -9223372036854775808]
Multiply:
[0, 100, 254, 0, 20000, 65534, 0, 2000000000, 4294967294, 0, 2313682944, 8589934590, 0, 100, -2, 0, 20000, -2, 0, 1000000000, -2, 0, 5616697344, 8589934590, 0, 5616697344, 8589934590, -18446744073709551618, 0, 18446744073709551616]
Divide:
[0, 16, 85, 0, 3333, 21845, 0, 333333333, 1431655765, 0, 385613824, 1431655765, -43, 16, 42, -10923, 3333, 10922, -715827883, 166666666, 715827882, 0, 936116224, 1431655765, 0, 936116224, 1431655765, -3074457345618258603, 0, 3074457345618258602]
[0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 43, -16, -42, 10923, -3333, -10922, 715827883, -166666666, -715827882, 0, 0, 1, 0, 0, 1, 3074457345618258603, 0, -3074457345618258602]
Mod:
[0, 16, 0, 0, 4, 0, 0, 7, 0, 0, 6, 0, 8, 16, 8, 8, 4, 8, 8, 12, 8, 0, 12, 0, 0, 12, 0, 7, 0, 9]
[0, 50, 16, 0, 10000, 16, 0, 1000000000, 16, 0, 1156841472, 16, 8, 16, 8, 8, 4, 8, 8, 12, 8, 0, 2808348672, 16, 0, 2808348672, 16, 7, 0, 9]
Division Euclidean:
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 1156841472, 4294967295, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, 0, 2808348672, 4294967295, 0, 2808348672, 4294967295, -9223372036854775809, 0, 9223372036854775808]
[0, 50, 255, 0, 10000, 65535, 0, 1000000000, 4294967295, 0, 1156841472, 4294967295, -128, 50, 127, -32768, 10000, 32767, -2147483648, 500000000, 2147483647, 0, 2808348672, 4294967295, 0, 2808348672, 4294967295, -9223372036854775809, 0, 9223372036854775808]
Shift:
[0, 100, 254, 0, 20000, 65534, 0, 2000000000, 4294967294, 0, 2313682944, 8589934590, 0, 100, -2, 0, 20000, -2, 0, 1000000000, -2, 0, 5616697344, 8589934590, 0, 5616697344, 8589934590, -18446744073709551618, 0, 18446744073709551616]
[0, 25, 127, 0, 5000, 32767, 0, 500000000, 2147483647, 0, 578420736, 2147483647, -64, 25, 63, -16384, 5000, 16383, -1073741824, 250000000, 1073741823, 0, 1404174336, 2147483647, 0, 1404174336, 2147483647, -4611686018427387905, 0, 4611686018427387904]
Bit Ops:
[0, 34, 170, 0, 0, 170, 0, 0, 170, 0, 0, 170, -128, 34, 42, 0, 0, 170, 0, 0, 170, 0, 0, 170, 0, 0, 170, 170, 0, 0]
[170, 186, 255, 170, 10170, 65535, 170, 1000000170, 4294967295, 170, 1156841642, 4294967295, -86, -70, -1, -32598, 10170, 32767, -2147483478, 500000170, 2147483647, 170, 2808348842, 4294967295, 170, 2808348842, 4294967295, -9223372036854775809, 170, 9223372036854775978]
[170, 152, 85, 170, 10170, 65365, 170, 1000000170, 4294967125, 170, 1156841642, 4294967125, 42, -104, -43, -32598, 10170, 32597, -2147483478, 500000170, 2147483477, 170, 2808348842, 4294967125, 170, 2808348842, 4294967125, -9223372036854775979, 170, 9223372036854775978]
Comparisons:
[False, False, False, False, False, False, False, False, False, False, False, False, True, False, False, True, False, False, True, False, False, False, False, False, False, False, False, True, False, False]
[True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, True, False]
[False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, False, True]
[False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, False, True]
[True, False, False, True, False, False, True, False, False, True, False, False, False, False, False, False, False, False, False, False, False, True, False, False, True, False, False, False, True, False]
[True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, True, False]
[True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, False, False, True, True, False]
[True, True, True, True, True, True, True, True, True, True, True, True, False, True, True, False, True, True, False, True, True, True, True, True, True, True, True, False, True, True]
[False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, True, True, False, False, True]

------------------------------------------------------------------------
Racket backend
✗ racket not found
------------------------------------------------------------------------

------------------------------------------------------------------------
Node backend
✗ node not found
------------------------------------------------------------------------

------------------------------------------------------------------------
Test templates
------------------------------------------------------------------------

templates/with-ipkg: [38;5;10msuccess[0m                       00.651s
templates/simple-test: [38;5;10msuccess[0m                     00.954s
templates/ttimp: [38;5;10msuccess[0m                           01.108s

------------------------------------------------------------------------
Code generation
------------------------------------------------------------------------

codegen/con001: [38;5;10msuccess[0m                            00.975s
codegen/builtin001: [38;5;10msuccess[0m                        01.954s

------------------------------------------------------------------------
Test across all backends: Chez instance
✓ Found Chez at /usr/bin/chez
------------------------------------------------------------------------

allbackends/perf006: [38;5;10msuccess[0m                       00.956s
allbackends/evaluator004: [38;5;10msuccess[0m                  02.261s
allbackends/basic048: [38;5;10msuccess[0m                      02.771s

------------------------------------------------------------------------
Test across all backends: node instance
✗ node not found
------------------------------------------------------------------------

------------------------------------------------------------------------
Test across all backends: racket instance
✗ racket not found
------------------------------------------------------------------------

430/432 tests successful
Failing tests:
refc/integers
refc/buffer
make[2]: *** [Makefile:7: test] Error 1
make[2]: Leaving directory '/builds/alpine/aports/testing/idris2/src/Idris2-0.4.0/tests'
make[1]: *** [Makefile:114: test] Error 2
make[1]: Leaving directory '/builds/alpine/aports/testing/idris2/src/Idris2-0.4.0'
make: *** [Makefile:214: bootstrap-test] Error 2
idris-lang / Idris2

Test failures on x86 #1617
