Package evaluation of Satisfiability on Julia 1.12.0-rc1.2 (995ff9db19*) started at 2025-07-14T12:02:42.761 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.24s ################################################################################ # 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.3+2 [1bc4e1ec] + z3_jll v4.15.2+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.3.0+1 [781609d7] + GMP_jll v6.3.0+2 Installation completed after 1.69s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 28.25s ################################################################################ # Testing # Testing Satisfiability Status `/tmp/jl_2xrA35/Project.toml` [160ab843] Satisfiability v0.2.0 [1bc4e1ec] z3_jll v4.15.2+0 [56ddb016] Logging v1.11.0 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 Status `/tmp/jl_2xrA35/Manifest.toml` [692b3bcd] JLLWrappers v1.7.0 [21216c6a] Preferences v1.4.3 [160ab843] Satisfiability v0.2.0 [3eaa8342] libcxxwrap_julia_jll v0.14.3+2 [1bc4e1ec] z3_jll v4.15.2+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] 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.3.0+1 [781609d7] GMP_jll v6.3.0+2 Testing Running tests... Test Summary: | Pass Total Time Construct variables | 11 11 12.4s Test Summary: | Pass Total Time Print variables | 2 2 0.7s Test Summary: | Pass Total Time Logical operations | 18 18 12.0s Test Summary: | Pass Total Time Additional operations | 10 10 8.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.6s Test Summary: | Pass Total Time Operations with nxm literals and nxm exprs | 11 11 13.3s Test Summary: | Pass Total Time More operations with literals | 7 7 5.1s Test Summary: | Pass Total Time Construct Int and Real expressions | 20 20 24.4s Test Summary: | Pass Total Time Construct n-ary ops | 20 20 9.8s Test Summary: | Pass Total Time Assignment and conversion | 4 4 2.6s Test Summary: | Pass Total Time Individual SMTLIB2 statements | 8 8 5.6s 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.8s Test Summary: | Pass Total Time Assign values | 25 25 7.3s Test Summary: | Pass Total Time Solving a SAT problem | 13 13 8.4s Test Summary: | Pass Total Time Solving an integer-valued problem | 5 5 2.2s Test Summary: | Pass Total Time Custom solver interactions | 17 17 4.5s 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.2s Test Summary: | Pass Total Time Construct BitVector variables and exprs | 45 45 23.6s Test Summary: | Pass Total Time Interoperability with constants | 10 10 8.9s Test Summary: | Pass Total Time Spot checks for SMT generation | 6 6 3.4s 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.7s Test Summary: | Pass Total Time Assigning values | 16 16 3.6s Test Summary: | Pass Total Time Construct ufuncs | 18 18 5.2s [ 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:489 [14] EvalInto @ ./boot.jl:494 [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:677 [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:1776 [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:306 [22] top-level scope @ ~/.julia/packages/Satisfiability/3uljf/test/runtests.jl:49 [23] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:306 [24] top-level scope @ none:6 [25] eval(m::Module, e::Any) @ Core ./boot.jl:489 [26] exec_options(opts::Base.JLOptions) @ Base ./client.jl:287 [27] _start() @ Base ./client.jl:554Test Summary: | Pass Fail Total Time Test README.md examples | 9 1 10 20.4s RNG of the outermost testset: Random.Xoshiro(0xdeee1c52bd426aa2, 0x779df1e4c6adc09f, 0x3ad746376d123c2f, 0x3fde9a2191378e36, 0x2b1288012b2bbce4) 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 217.62s 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{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:2458 [3] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2313 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{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:511 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:305 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:321 [12] _start() @ Base ./client.jl:554 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 271.98s: package has test failures