Package evaluation of Satisfiability on Julia 1.12.0-DEV.1805 (a080deafdd*) started at 2025-03-24T12:35:01.885 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.36s ################################################################################ # Installation # Installing Satisfiability... Resolving package versions... Updating `~/.julia/environments/v1.12/Project.toml` [160ab843] + Satisfiability v0.2.0 Updating `~/.julia/environments/v1.12/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.2.0+0 [781609d7] + GMP_jll v6.3.0+1 Installation completed after 1.58s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 35.62s ################################################################################ # Testing # Testing Satisfiability Status `/tmp/jl_Jtslmv/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_Jtslmv/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 [dc6e5ff7] JuliaSyntaxHighlighting v1.12.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 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.2.0+0 [781609d7] GMP_jll v6.3.0+1 Testing Running tests... Test Summary: | Pass Total Time Construct variables | 11 11 12.4s Test Summary: | Pass Total Time Print variables | 2 2 0.6s Test Summary: | Pass Total Time Logical operations | 18 18 11.1s Test Summary: | Pass Total Time Additional operations | 10 10 7.9s 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 8.9s Test Summary: | Pass Total Time More operations with literals | 7 7 3.9s Test Summary: | Pass Total Time Construct Int and Real expressions | 20 20 23.0s Test Summary: | Pass Total Time Construct n-ary ops | 20 20 9.7s Test Summary: | Pass Total Time Assignment and conversion | 4 4 2.7s Test Summary: | Pass Total Time Individual SMTLIB2 statements | 8 8 5.0s 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.5s Test Summary: | Pass Total Time Assign values | 25 25 5.9s Test Summary: | Pass Total Time Solving a SAT problem | 13 13 7.9s Test Summary: | Pass Total Time Solving an integer-valued problem | 5 5 2.1s Test Summary: | Pass Total Time Custom solver interactions | 17 17 6.1s 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.3s 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.1s Test Summary: | Pass Total Time Interoperability with constants | 10 10 7.2s Test Summary: | Pass Total Time Spot checks for SMT generation | 6 6 2.9s Test Summary: | Pass Total Time BitVector special cases for SMT generation | 8 8 4.9s Test Summary: | Pass Total Time BitVector result parsing | 2 2 1.8s Test Summary: | Pass Total Time Assigning values | 16 16 2.8s Test Summary: | Pass Total Time Construct ufuncs | 18 18 4.0s [ 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.2s 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] #_spawn##0 @ ./process.jl:149 [inlined] [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{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(m::Module, e::Any) @ Core ./boot.jl:485 [14] EvalInto @ ./boot.jl:490 [inlined] [15] macro expansion @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:13 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/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] top-level scope @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:24 [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1724 [inlined] [20] macro expansion @ ~/.julia/packages/Satisfiability/3uljf/test/README_tests.jl:28 [inlined] [21] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:301 [22] top-level scope @ ~/.julia/packages/Satisfiability/3uljf/test/runtests.jl:49 [23] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:301 [24] top-level scope @ none:6 [25] eval(m::Module, e::Any) @ Core ./boot.jl:485 [26] exec_options(opts::Base.JLOptions) @ Base ./client.jl:295 [27] _start() @ Base ./client.jl:558Test Summary: | Pass Fail Total Time Test README.md examples | 9 1 10 19.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 192.65s ERROR: LoadError: Package Satisfiability errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.12/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.12/Pkg/src/Operations.jl:2359 [3] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2214 [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.12/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.12/Pkg/src/API.jl:159 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:147 [7] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:147 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:146 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:300 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:329 [12] _start() @ Base ./client.jl:558 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 258.45s: package has test failures