[all reports]
| Package |
copilot-bluespec-4.3 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Failed |
| Time submitted |
2025-03-10 16:40:24.094266732 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, copilot-core-4.3, directory-1.3.9.0, filepath-1.4.301.0, language-bluespec-0.1, pretty-1.1.3.6 |
| Flags |
none
|
Code Coverage
| expressions | 47% (1148/2415) |
|---|
| boolean | guards | 18% (4/22) |
|---|
| conditions | 100% (1/1) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 22% (51/226) |
|---|
| local declarations | 52% (70/134) |
|---|
| top-level declarations | 70% (51/72) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting copilot-core-4.3
Starting language-bluespec-0.1
Starting filepath-1.4.301.0
Building copilot-core-4.3
Building language-bluespec-0.1
Building filepath-1.4.301.0
Completed copilot-core-4.3
Completed filepath-1.4.301.0
Starting unix-2.8.6.0
Completed language-bluespec-0.1
Building unix-2.8.6.0
Completed unix-2.8.6.0
Starting file-io-0.1.5
Building file-io-0.1.5
Completed file-io-0.1.5
Starting directory-1.3.9.0
Building directory-1.3.9.0
Completed directory-1.3.9.0
Downloading copilot-bluespec-4.3
Downloaded copilot-bluespec-4.3
Starting copilot-bluespec-4.3
Building copilot-bluespec-4.3
Completed copilot-bluespec-4.3
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.6.3 -O0
In order, the following will be built (use -v for more details):
- copilot-bluespec-4.3 (first run)
Configuring copilot-bluespec-4.3...
Preprocessing library for copilot-bluespec-4.3..
Building library for copilot-bluespec-4.3..
[ 1 of 11] Compiling Copilot.Compile.Bluespec.Error ( src/Copilot/Compile/Bluespec/Error.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Error.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Error.dyn_o )
[ 2 of 11] Compiling Copilot.Compile.Bluespec.External ( shared/Copilot/Compile/Bluespec/External.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/External.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/External.dyn_o )
[ 3 of 11] Compiling Copilot.Compile.Bluespec.FloatingPoint ( src/Copilot/Compile/Bluespec/FloatingPoint.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/FloatingPoint.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/FloatingPoint.dyn_o )
[ 4 of 11] Compiling Copilot.Compile.Bluespec.Name ( src/Copilot/Compile/Bluespec/Name.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Name.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Name.dyn_o )
[ 5 of 11] Compiling Copilot.Compile.Bluespec.Representation ( src/Copilot/Compile/Bluespec/Representation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Representation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Representation.dyn_o )
[ 6 of 11] Compiling Copilot.Compile.Bluespec.Settings ( src/Copilot/Compile/Bluespec/Settings.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Settings.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Settings.dyn_o )
[ 7 of 11] Compiling Copilot.Compile.Bluespec.Type ( src/Copilot/Compile/Bluespec/Type.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Type.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Type.dyn_o )
[ 8 of 11] Compiling Copilot.Compile.Bluespec.Expr ( src/Copilot/Compile/Bluespec/Expr.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Expr.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Expr.dyn_o )
[ 9 of 11] Compiling Copilot.Compile.Bluespec.CodeGen ( src/Copilot/Compile/Bluespec/CodeGen.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/CodeGen.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/CodeGen.dyn_o )
[10 of 11] Compiling Copilot.Compile.Bluespec.Compile ( src/Copilot/Compile/Bluespec/Compile.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Compile.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec/Compile.dyn_o )
[11 of 11] Compiling Copilot.Compile.Bluespec ( src/Copilot/Compile/Bluespec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/Copilot/Compile/Bluespec.dyn_o )
Preprocessing test suite 'tests' for copilot-bluespec-4.3..
Building test suite 'tests' for copilot-bluespec-4.3..
[1 of 3] Compiling Copilot.Compile.Bluespec.External ( shared/Copilot/Compile/Bluespec/External.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/tests/tests-tmp/Copilot/Compile/Bluespec/External.o )
[2 of 3] Compiling Test.Copilot.Compile.Bluespec ( tests/Test/Copilot/Compile/Bluespec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/tests/tests-tmp/Test/Copilot/Compile/Bluespec.o )
[3 of 3] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/tests/tests-tmp/Main.o )
[4 of 4] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/build/tests/tests
Running 1 test suites...
Test suite tests: RUNNING...
Test suite tests: FAIL
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/copilot-bluespec-4.3.test
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/hpc/vanilla/html/tests/hpc_index.html
0 of 1 test suites (0 of 1 test cases) passed.
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/copilot-bluespec-4.3/noopt/hpc/vanilla/html/copilot-bluespec-4.3/hpc_index.html
Error: cabal: Tests failed for copilot-bluespec-4.3.