Package evaluation of Satisfiability on Julia 1.10.9 (96dc2d8c45*) started at 2025-06-06T12:46:05.962 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.11s ################################################################################ # Installation # Installing Satisfiability... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [160ab843] + Satisfiability v0.2.0 Updating `~/.julia/environments/v1.10/Manifest.toml` [692b3bcd] + JLLWrappers v1.7.0 [21216c6a] + Preferences v1.4.3 [160ab843] + Satisfiability v0.2.0 [3eaa8342] + libcxxwrap_julia_jll v0.14.3+0 [1bc4e1ec] + z3_jll v4.15.0+0 [56f22d72] + Artifacts [ade2ca70] + Dates [8f399da3] + Libdl [56ddb016] + Logging [de0858da] + Printf [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [781609d7] + GMP_jll v6.2.1+6 Installation completed after 4.84s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 16.79s ################################################################################ # Testing # Testing Satisfiability Status `/tmp/jl_4VXJB8/Project.toml` [160ab843] Satisfiability v0.2.0 [1bc4e1ec] z3_jll v4.15.0+0 [56ddb016] Logging [8dfed614] Test [4ec0a83e] Unicode Status `/tmp/jl_4VXJB8/Manifest.toml` [692b3bcd] JLLWrappers v1.7.0 [21216c6a] Preferences v1.4.3 [160ab843] Satisfiability v0.2.0 [3eaa8342] libcxxwrap_julia_jll v0.14.3+0 [1bc4e1ec] z3_jll v4.15.0+0 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [b77e0a4c] InteractiveUtils [8f399da3] Libdl [56ddb016] Logging [d6f4376e] Markdown [de0858da] Printf [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [fa267f1f] TOML v1.0.3 [8dfed614] Test [4ec0a83e] Unicode [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [781609d7] GMP_jll v6.2.1+6 Testing Running tests... Test Summary: | Pass Total Time Construct variables | 11 11 8.9s Test Summary: | Pass Total Time Print variables | 2 2 0.5s Test Summary: | Pass Total Time Logical operations | 18 18 6.3s Test Summary: | Pass Total Time Additional operations | 10 10 4.5s Test Summary: | Pass Total Time Operations with 1D literals and 1D exprs | 10 10 0.2s Test Summary: | Pass Total Time Operations with 1D literals and nxm exprs | 6 6 3.3s Test Summary: | Pass Total Time Operations with nxm literals and nxm exprs | 11 11 10.0s Test Summary: | Pass Total Time More operations with literals | 7 7 6.5s Test Summary: | Pass Total Time Construct Int and Real expressions | 20 20 17.8s Test Summary: | Pass Total Time Construct n-ary ops | 20 20 6.4s Test Summary: | Pass Total Time Assignment and conversion | 4 4 2.1s Test Summary: | Pass Total Time Individual SMTLIB2 statements | 8 8 3.7s 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.3s Test Summary: | Pass Total Time Assign values | 25 25 6.4s Test Summary: | Pass Total Time Solving a SAT problem | 13 13 5.7s Test Summary: | Pass Total Time Solving an integer-valued problem | 5 5 1.5s Test Summary: | Pass Total Time Custom solver interactions | 17 17 4.2s Test Summary: | Pass Total Time Basic parser tests | 7 7 0.6s Test Summary: | Pass Total Time Parse some z3 output with ints and floats | 6 6 0.1s Test Summary: | Pass Total Time Define fully-qualified names | 1 1 0.8s Test Summary: | Pass Total Time Construct BitVector variables and exprs | 45 45 9.8s Test Summary: | Pass Total Time Interoperability with constants | 10 10 3.8s Test Summary: | Pass Total Time Spot checks for SMT generation | 6 6 1.5s Test Summary: | Pass Total Time BitVector special cases for SMT generation | 8 8 2.9s Test Summary: | Pass Total Time BitVector result parsing | 2 2 1.3s Test Summary: | Pass Total Time Assigning values | 16 16 2.0s Test Summary: | Pass Total Time Construct ufuncs | 18 18 2.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.1s 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::Vector{Union{RawFD, IO}}) @ Base ./process.jl:128 [2] #786 @ ./process.jl:139 [inlined] [3] setup_stdios(f::Base.var"#786#787"{Cmd}, stdios::Vector{Union{RawFD, IO}}) @ Base ./process.jl:223 [4] _spawn @ ./process.jl:138 [inlined] [5] _spawn(::Base.CmdRedirect, ::Vector{Union{RawFD, IO}}) (repeats 3 times) @ Base ./process.jl:166 [6] run(::Base.CmdRedirect; wait::Bool) @ Base ./process.jl:483 [7] run @ ./process.jl:477 [inlined] [8] open(s::Solver) @ Satisfiability ~/.julia/packages/Satisfiability/3uljf/src/call_solver.jl:134 [9] talk_to_solver(input::String, s::Solver) @ Satisfiability ~/.julia/packages/Satisfiability/3uljf/src/call_solver.jl:162 [10] 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 [11] top-level scope @ none:7 [12] eval @ ./boot.jl:385 [inlined] [13] eval @ ./client.jl:496 [inlined] [14] macro expansion @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:13 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:669 [inlined] [16] test_julia_examples_in_markdown(path::String) @ Main ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:12 [17] macro expansion @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:28 [inlined] [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1577 [inlined] [19] top-level scope @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:24 [20] include(fname::String) @ Base.MainInclude ./client.jl:494 [21] top-level scope @ ~/.julia/packages/Satisfiability/3uljf/test/runtests.jl:49 [22] include(fname::String) @ Base.MainInclude ./client.jl:494 [23] top-level scope @ none:6 [24] eval @ ./boot.jl:385 [inlined] [25] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [26] _start() @ Base ./client.jl:557Test Summary: | Pass Fail Total Time Test README.md examples | 9 1 10 11.5s 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 135.11s ERROR: LoadError: Package Satisfiability errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.10/Pkg/src/Types.jl:70 [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.10/Pkg/src/Operations.jl:2034 [3] test @ /opt/julia/share/julia/stdlib/v1.10/Pkg/src/Operations.jl:1915 [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::Base.PipeEndpoint}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:444 [5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::Base.PipeEndpoint, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:159 [6] test @ /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:147 [inlined] [7] #test#74 @ /opt/julia/share/julia/stdlib/v1.10/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 167.79s: package has test failures