Package evaluation of Satisfiability on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T08:47:54.803 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.96s ################################################################################ # Installation # Installing Satisfiability... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [160ab843] + Satisfiability v0.2.0 Updating `~/.julia/environments/v1.11/Manifest.toml` [692b3bcd] + JLLWrappers v1.7.0 [21216c6a] + Preferences v1.4.3 [160ab843] + Satisfiability v0.2.0 [3eaa8342] + libcxxwrap_julia_jll v0.14.0+0 [1bc4e1ec] + z3_jll v4.14.1+0 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8f399da3] + Libdl v1.11.0 [56ddb016] + Logging v1.11.0 [de0858da] + Printf v1.11.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [781609d7] + GMP_jll v6.3.0+0 Installation completed after 2.17s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 20.52s ################################################################################ # Testing # Testing Satisfiability Status `/tmp/jl_WXnCuT/Project.toml` [160ab843] Satisfiability v0.2.0 [1bc4e1ec] z3_jll v4.14.1+0 [56ddb016] Logging v1.11.0 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 Status `/tmp/jl_WXnCuT/Manifest.toml` [692b3bcd] JLLWrappers v1.7.0 [21216c6a] Preferences v1.4.3 [160ab843] Satisfiability v0.2.0 [3eaa8342] libcxxwrap_julia_jll v0.14.0+0 [1bc4e1ec] z3_jll v4.14.1+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [781609d7] GMP_jll v6.3.0+0 Testing Running tests... Test Summary: | Pass Total Time Construct variables | 11 11 12.6s Test Summary: | Pass Total Time Print variables | 2 2 0.6s Test Summary: | Pass Total Time Logical operations | 18 18 11.7s Test Summary: | Pass Total Time Additional operations | 10 10 8.1s Test Summary: | Pass Total Time Operations with 1D literals and 1D exprs | 10 10 0.3s Test Summary: | Pass Total Time Operations with 1D literals and nxm exprs | 6 6 5.6s Test Summary: | Pass Total Time Operations with nxm literals and nxm exprs | 11 11 12.9s Test Summary: | Pass Total Time More operations with literals | 7 7 5.2s Test Summary: | Pass Total Time Construct Int and Real expressions | 20 20 27.5s Test Summary: | Pass Total Time Construct n-ary ops | 20 20 9.5s Test Summary: | Pass Total Time Assignment and conversion | 4 4 3.1s Test Summary: | Pass Total Time Individual SMTLIB2 statements | 8 8 5.9s Test Summary: | Pass Total Time Generate additional exprs | 4 4 0.2s Test Summary: | Pass Total Time Generate nested expr without duplications | 2 2 0.0s Test Summary: | Pass Total Time Generate SMT file | 2 2 1.9s Test Summary: | Pass Total Time Assign values | 25 25 10.1s Test Summary: | Pass Total Time Solving a SAT problem | 13 13 9.0s Test Summary: | Pass Total Time Solving an integer-valued problem | 5 5 2.2s Test Summary: | Pass Total Time Custom solver interactions | 17 17 7.8s Test Summary: | Pass Total Time Basic parser tests | 7 7 0.7s Test Summary: | Pass Total Time Parse some z3 output with ints and floats | 6 6 0.4s Test Summary: | Pass Total Time Define fully-qualified names | 1 1 1.1s Test Summary: | Pass Total Time Construct BitVector variables and exprs | 45 45 17.5s Test Summary: | Pass Total Time Interoperability with constants | 10 10 7.9s Test Summary: | Pass Total Time Spot checks for SMT generation | 6 6 2.7s Test Summary: | Pass Total Time BitVector special cases for SMT generation | 8 8 4.7s Test Summary: | Pass Total Time BitVector result parsing | 2 2 2.2s Test Summary: | Pass Total Time Assigning values | 16 16 3.3s Test Summary: | Pass Total Time Construct ufuncs | 18 18 4.4s [ Info: Check that redefining a variable yields a warning. One warning will be emitted. ┌ Warning: Duplicate variable name z of type Bool └ @ Satisfiability ~/.julia/packages/Satisfiability/3uljf/src/BoolExpr.jl:41 Test Summary: | Pass Total Time Duplicate variable warning | 3 3 0.3s IOError: could not spawn `yices-smt2 --interactive --smt2-model-format`: no such file or directory (ENOENT) Stacktrace: [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) @ Base ./process.jl:140 [2] _spawn @ ./process.jl:157 [inlined] [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times) @ Base ./process.jl:179 [4] #883 @ ./process.jl:149 [inlined] [5] setup_stdios(f::Base.var"#883#884"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}}) @ Base ./process.jl:236 [6] _spawn @ ./process.jl:148 [inlined] [7] run(::Base.CmdRedirect; wait::Bool) @ Base ./process.jl:516 [8] run @ ./process.jl:510 [inlined] [9] open(s::Solver) @ Satisfiability ~/.julia/packages/Satisfiability/3uljf/src/call_solver.jl:134 [10] talk_to_solver(input::String, s::Solver) @ Satisfiability ~/.julia/packages/Satisfiability/3uljf/src/call_solver.jl:162 [11] sat!(::BoolExpr, ::Vararg{BoolExpr}; solver::Solver, logic::String, clear_values_if_unsat::Bool, line_ending::String, start_commands::String, end_commands::String) @ Satisfiability ~/.julia/packages/Satisfiability/3uljf/src/sat.jl:50 [12] top-level scope @ none:7 [13] eval @ ./boot.jl:430 [inlined] [14] eval @ ./sysimg.jl:48 [inlined] [15] macro expansion @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:13 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [17] test_julia_examples_in_markdown(path::String) @ Main ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:12 [18] macro expansion @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:28 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [20] top-level scope @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:24 [21] include(fname::String) @ Main ./sysimg.jl:38 [22] top-level scope @ ~/.julia/packages/Satisfiability/3uljf/test/runtests.jl:49 [23] include(fname::String) @ Main ./sysimg.jl:38 [24] top-level scope @ none:6 [25] eval @ ./boot.jl:430 [inlined] [26] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [27] _start() @ Base ./client.jl:531Test Summary: | Pass Fail Total Time Test README.md examples | 9 1 10 17.8s ERROR: LoadError: Some tests did not pass: 9 passed, 1 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:23 in expression starting at /home/pkgeval/.julia/packages/Satisfiability/3uljf/test/runtests.jl:49 Testing failed after 207.89s ERROR: LoadError: Package Satisfiability errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2124 [3] test @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2007 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:481 [5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:159 [6] test @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:147 [inlined] [7] #test#74 @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:146 [inlined] [8] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 251.11s: package has test failures