Package evaluation of LogicCircuits on Julia 1.12.0-beta2.30 (9e913d7251*) started at 2025-05-05T12:14:43.794 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 6.14s ################################################################################ # Installation # Installing LogicCircuits... Resolving package versions... Installed Libmount_jll ───────────────────── v2.41.0+0 Installed LERC_jll ───────────────────────── v3.0.0+1 Installed JpegTurbo_jll ──────────────────── v3.1.1+0 Installed StatsFuns ──────────────────────── v0.9.18 Installed LLVMLoopInfo ───────────────────── v1.0.0 Installed OffsetArrays ───────────────────── v1.17.0 Installed InlineStrings ──────────────────── v1.4.3 Installed Preferences ────────────────────── v1.4.3 Installed NVTX_jll ───────────────────────── v3.1.1+0 Installed InvertedIndices ────────────────── v1.3.1 Installed ScopedValues ───────────────────── v1.3.0 Installed Tracy ──────────────────────────── v0.1.4 Installed CEnum ──────────────────────────── v0.5.0 Installed StaticArrays ───────────────────── v1.9.13 Installed BFloat16s ──────────────────────── v0.5.1 Installed GPUArrays ──────────────────────── v11.2.2 Installed DataFrames ─────────────────────── v1.7.0 Installed Fontconfig_jll ─────────────────── v2.16.0+0 Installed Cairo_jll ──────────────────────── v1.18.5+0 Installed CUDA_Runtime_jll ───────────────── v0.16.1+0 Installed LibTracyClient_jll ─────────────── v0.9.1+6 Installed SLEEFPirates ───────────────────── v0.6.43 Installed Statistics ─────────────────────── v1.11.1 Installed Static ─────────────────────────── v1.2.0 Installed RandomNumbers ──────────────────── v1.6.0 Installed Xorg_libXau_jll ────────────────── v1.0.13+0 Installed Missings ───────────────────────── v1.2.0 Installed IrrationalConstants ────────────── v0.1.1 Installed TikzGraphs ─────────────────────── v1.4.0 Installed demumble_jll ───────────────────── v1.3.0+0 Installed SIMDTypes ──────────────────────── v0.1.0 Installed ArnoldiMethod ──────────────────── v0.4.0 Installed CpuId ──────────────────────────── v0.3.1 Installed LLVM ───────────────────────────── v9.3.1 Installed Bzip2_jll ──────────────────────── v1.0.9+0 Installed CUDA_Driver_jll ────────────────── v0.12.1+1 Installed StaticArraysCore ───────────────── v1.4.3 Installed CUDA_Runtime_Discovery ─────────── v0.3.5 Installed SentinelArrays ─────────────────── v1.4.8 Installed IfElse ─────────────────────────── v0.1.1 Installed SpecialFunctions ───────────────── v2.5.1 Installed Lerche ─────────────────────────── v0.5.6 Installed LZO_jll ────────────────────────── v2.10.3+0 Installed WorkerUtilities ────────────────── v1.6.1 Installed ThreadingUtilities ─────────────── v0.5.3 Installed DirectedAcyclicGraphs ──────────── v0.2.0 Installed Random123 ──────────────────────── v1.7.0 Installed ManualMemory ───────────────────── v0.1.8 Installed Rmath_jll ──────────────────────── v0.4.3+0 Installed TranscodingStreams ─────────────── v0.11.3 Installed Graphs ─────────────────────────── v1.12.1 Installed WeakRefStrings ─────────────────── v1.4.2 Installed FreeType2_jll ──────────────────── v2.13.4+0 Installed Compat ─────────────────────────── v4.16.0 Installed CommonWorldInvalidations ───────── v1.0.0 Installed DataStructures ─────────────────── v0.18.22 Installed Colors ─────────────────────────── v0.13.0 Installed ExprTools ──────────────────────── v0.1.10 Installed CodecZlib ──────────────────────── v0.7.8 Installed StaticArrayInterface ───────────── v1.8.0 Installed libpng_jll ─────────────────────── v1.6.47+0 Installed Xorg_libxcb_jll ────────────────── v1.17.1+0 Installed BitTwiddlingConvenienceFunctions ─ v0.1.6 Installed Scratch ────────────────────────── v1.2.1 Installed LayoutPointers ─────────────────── v0.1.17 Installed ColorTypes ─────────────────────── v0.12.1 Installed PrettyTables ───────────────────── v2.4.0 Installed Zstd_jll ───────────────────────── v1.5.7+1 Installed Xorg_libXext_jll ───────────────── v1.3.7+0 Installed Expat_jll ──────────────────────── v2.6.5+0 Installed Inflate ────────────────────────── v0.1.5 Installed TableTraits ────────────────────── v1.0.1 Installed Poppler_jll ────────────────────── v0.87.0+2 Installed Parsers ────────────────────────── v2.8.3 Installed HashArrayMappedTries ───────────── v0.2.0 Installed PooledArrays ───────────────────── v1.4.3 Installed Libtiff_jll ────────────────────── v4.4.0+0 Installed JLLWrappers ────────────────────── v1.7.0 Installed AbstractFFTs ───────────────────── v1.5.0 Installed NVTX ───────────────────────────── v1.0.0 Installed LLVMExtra_jll ──────────────────── v0.0.35+0 Installed LoopVectorization ──────────────── v0.12.172 Installed Libffi_jll ─────────────────────── v3.4.7+0 Installed DataValueInterfaces ────────────── v1.0.0 Installed OrderedCollections ─────────────── v1.8.0 Installed Xorg_libXrender_jll ────────────── v0.9.12+0 Installed PolyesterWeave ─────────────────── v0.2.2 Installed ArrayInterface ─────────────────── v7.18.0 Installed Reexport ───────────────────────── v1.2.2 Installed ChainRulesCore ─────────────────── v1.25.1 Installed Tectonic ───────────────────────── v0.8.0 Installed LogExpFunctions ────────────────── v0.3.29 Installed LittleCMS_jll ──────────────────── v2.12.0+0 Installed CloseOpenIntervals ─────────────── v0.1.13 Installed OpenSpecFun_jll ────────────────── v0.5.6+0 Installed UnPack ─────────────────────────── v1.0.2 Installed KernelAbstractions ─────────────── v0.9.34 Installed MacroTools ─────────────────────── v0.5.16 Installed Libuuid_jll ────────────────────── v2.41.0+0 Installed GPUArraysCore ──────────────────── v0.2.0 Installed SimpleTraits ───────────────────── v0.9.4 Installed CSV ────────────────────────────── v0.10.15 Installed Atomix ─────────────────────────── v1.1.1 Installed InverseFunctions ───────────────── v0.1.17 Installed UnsafeAtomics ──────────────────── v0.3.0 Installed DocStringExtensions ────────────── v0.9.4 Installed Pixman_jll ─────────────────────── v0.44.2+0 Installed Crayons ────────────────────────── v4.1.1 Installed Rmath ──────────────────────────── v0.7.1 Installed TikzPictures ───────────────────── v3.4.2 Installed XML2_jll ───────────────────────── v2.13.6+1 Installed Adapt ──────────────────────────── v4.3.0 Installed VectorizationBase ──────────────── v0.21.71 Installed Gettext_jll ────────────────────── v0.21.0+0 Installed OpenJpeg_jll ───────────────────── v2.4.0+0 Installed DataAPI ────────────────────────── v1.16.0 Installed Xorg_xtrans_jll ────────────────── v1.6.0+0 Installed CPUSummary ─────────────────────── v0.2.6 Installed Tables ─────────────────────────── v1.12.0 Installed LogicCircuits ──────────────────── v0.4.0 Installed GPUCompiler ────────────────────── v1.4.0 Installed LLVMOpenMP_jll ─────────────────── v18.1.8+0 Installed Libiconv_jll ───────────────────── v1.18.0+0 Installed FixedPointNumbers ──────────────── v0.8.5 Installed IteratorInterfaceExtensions ────── v1.0.0 Installed LaTeXStrings ───────────────────── v1.4.0 Installed HostCPUFeatures ────────────────── v0.1.17 Installed GPUToolbox ─────────────────────── v0.2.0 Installed PrecompileTools ────────────────── v1.3.2 Installed Glib_jll ───────────────────────── v2.84.0+0 Installed JuliaNVTXCallbacks_jll ─────────── v0.2.1+0 Installed Xorg_libX11_jll ────────────────── v1.8.12+0 Installed Xorg_libXdmcp_jll ──────────────── v1.1.6+0 Installed FilePathsBase ──────────────────── v0.9.24 Installed Requires ───────────────────────── v1.3.1 Installed SortingAlgorithms ──────────────── v1.2.1 Installed StringManipulation ─────────────── v0.4.1 Installed CUDA ───────────────────────────── v5.7.3 Installing 40 artifacts Installed artifact Pixman 372.2 KiB Installed artifact Xorg_libXdmcp 67.7 KiB Installed artifact Rmath 119.6 KiB Installed artifact libpng 328.5 KiB Installed artifact Libiconv 1.9 MiB Installed artifact LittleCMS 721.0 KiB Installed artifact Fontconfig 522.5 KiB Installed artifact Expat 271.4 KiB Installed artifact LLVMExtra 2.8 MiB Installed artifact Libffi 44.2 KiB Installed artifact OpenJpeg 403.1 KiB Installed artifact Libtiff 2.5 MiB Installed artifact Xorg_libxcb 2.1 MiB Installed artifact Bzip2 503.5 KiB Installed artifact NVTX 13.7 KiB Installed artifact FreeType2 1.5 MiB Installed artifact JuliaNVTXCallbacks 8.6 KiB Installed artifact Xorg_libXrender 435.9 KiB Installed artifact LibTracyClient 436.3 KiB Installed artifact LLVMOpenMP 661.6 KiB Installed artifact Poppler 1.9 MiB Installed artifact Libuuid 3.5 MiB Installed artifact Libmount 6.4 MiB Installed artifact Cairo 2.2 MiB Installed artifact Xorg_libXext 699.9 KiB Installed artifact Glib 7.7 MiB Installed artifact JpegTurbo 1.6 MiB Installed artifact Xorg_libXau 36.6 KiB Installed artifact LZO 208.9 KiB Installed artifact Zstd 646.0 KiB Installed artifact XML2 2.5 MiB Installed artifact OpenSpecFun 194.9 KiB Installed artifact LERC 218.5 KiB Installed artifact Xorg_xtrans 48.2 KiB Installed artifact demumble 322.0 KiB Installed artifact Gettext 4.5 MiB Installed artifact tectonic_bin 22.9 MiB Installed artifact biber_bin 18.4 MiB Installed artifact Xorg_libX11 13.9 MiB Installed artifact CUDA_Driver 58.5 MiB Updating `~/.julia/environments/v1.12/Project.toml` [a7847b3b] + LogicCircuits v0.4.0 Updating `~/.julia/environments/v1.12/Manifest.toml` Precompiling packages... 894.9 ms ✓ Preferences 683.0 ms ✓ JLLWrappers 1432.2 ms ✓ CUDA_Driver_jll 3 dependencies successfully precompiled in 3 seconds. 25 already precompiled. [621f4979] + AbstractFFTs v1.5.0 [79e6a3ab] + Adapt v4.3.0 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.18.0 [a9b6321e] + Atomix v1.1.1 [ab4f0b2a] + BFloat16s v0.5.1 [62783981] + BitTwiddlingConvenienceFunctions v0.1.6 [fa961155] + CEnum v0.5.0 [2a0fbf3d] + CPUSummary v0.2.6 [336ed68f] + CSV v0.10.15 [052768ef] + CUDA v5.7.3 [1af6417a] + CUDA_Runtime_Discovery v0.3.5 [d360d2e6] + ChainRulesCore v1.25.1 [fb6a15b2] + CloseOpenIntervals v0.1.13 [944b1d66] + CodecZlib v0.7.8 [3da002f7] + ColorTypes v0.12.1 [5ae59095] + Colors v0.13.0 [f70d9fcc] + CommonWorldInvalidations v1.0.0 [34da2185] + Compat v4.16.0 [adafc99b] + CpuId v0.3.1 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [a93c6f00] + DataFrames v1.7.0 [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [1e6dae5e] + DirectedAcyclicGraphs v0.2.0 [ffbed154] + DocStringExtensions v0.9.4 [e2ba6199] + ExprTools v0.1.10 [48062228] + FilePathsBase v0.9.24 [53c48c17] + FixedPointNumbers v0.8.5 [0c68f7d7] + GPUArrays v11.2.2 [46192b85] + GPUArraysCore v0.2.0 [61eb1bfa] + GPUCompiler v1.4.0 [096a3bc2] + GPUToolbox v0.2.0 [86223c79] + Graphs v1.12.1 [076d061b] + HashArrayMappedTries v0.2.0 [3e5b6fbb] + HostCPUFeatures v0.1.17 [615f187c] + IfElse v0.1.1 [d25df0c9] + Inflate v0.1.5 [842dd82b] + InlineStrings v1.4.3 [3587e190] + InverseFunctions v0.1.17 [41ab1584] + InvertedIndices v1.3.1 ⌅ [92d709cd] + IrrationalConstants v0.1.1 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.0 [63c18a36] + KernelAbstractions v0.9.34 [929cbde3] + LLVM v9.3.1 [8b046642] + LLVMLoopInfo v1.0.0 [b964fa9f] + LaTeXStrings v1.4.0 [10f19ff3] + LayoutPointers v0.1.17 [d42ef402] + Lerche v0.5.6 [2ab3a3ac] + LogExpFunctions v0.3.29 [a7847b3b] + LogicCircuits v0.4.0 [bdcacae8] + LoopVectorization v0.12.172 [1914dd2f] + MacroTools v0.5.16 [d125e4d3] + ManualMemory v0.1.8 [e1d29d7a] + Missings v1.2.0 [5da4648a] + NVTX v1.0.0 [6fe1bfb0] + OffsetArrays v1.17.0 [bac558e1] + OrderedCollections v1.8.0 [69de0a69] + Parsers v2.8.3 [1d0040c9] + PolyesterWeave v0.2.2 [2dfb63ee] + PooledArrays v1.4.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [08abe8d2] + PrettyTables v2.4.0 [74087812] + Random123 v1.7.0 [e6cf234a] + RandomNumbers v1.6.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 ⌅ [79098fc4] + Rmath v0.7.1 [94e857df] + SIMDTypes v0.1.0 [476501e8] + SLEEFPirates v0.6.43 [7e506255] + ScopedValues v1.3.0 [6c6a2e73] + Scratch v1.2.1 [91c51154] + SentinelArrays v1.4.8 [699a6c99] + SimpleTraits v0.9.4 [a2af1166] + SortingAlgorithms v1.2.1 [276daf66] + SpecialFunctions v2.5.1 [aedffcd0] + Static v1.2.0 [0d7ed370] + StaticArrayInterface v1.8.0 [90137ffa] + StaticArrays v1.9.13 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 ⌅ [4c63d2b9] + StatsFuns v0.9.18 [892a3eda] + StringManipulation v0.4.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.0 [9ac5f52a] + Tectonic v0.8.0 [8290d209] + ThreadingUtilities v0.5.3 [b4f28e30] + TikzGraphs v1.4.0 ⌃ [37f6aa50] + TikzPictures v3.4.2 [e689c965] + Tracy v0.1.4 [3bb67fe8] + TranscodingStreams v0.11.3 [3a884ed6] + UnPack v1.0.2 [013be700] + UnsafeAtomics v0.3.0 [3d5dd08c] + VectorizationBase v0.21.71 [ea10d353] + WeakRefStrings v1.4.2 [76eceee3] + WorkerUtilities v1.6.1 [6e34b625] + Bzip2_jll v1.0.9+0 [4ee394cb] + CUDA_Driver_jll v0.12.1+1 [76a88914] + CUDA_Runtime_jll v0.16.1+0 [83423d85] + Cairo_jll v1.18.5+0 [2e619515] + Expat_jll v2.6.5+0 [a3f928ae] + Fontconfig_jll v2.16.0+0 [d7e528f0] + FreeType2_jll v2.13.4+0 [78b55507] + Gettext_jll v0.21.0+0 [7746bdde] + Glib_jll v2.84.0+0 [aacddb02] + JpegTurbo_jll v3.1.1+0 [9c1d0b0a] + JuliaNVTXCallbacks_jll v0.2.1+0 ⌅ [88015f11] + LERC_jll v3.0.0+1 [dad2f222] + LLVMExtra_jll v0.0.35+0 [1d63c593] + LLVMOpenMP_jll v18.1.8+0 [dd4b983a] + LZO_jll v2.10.3+0 [ad6e5548] + LibTracyClient_jll v0.9.1+6 [e9f186c6] + Libffi_jll v3.4.7+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [4b2f31a3] + Libmount_jll v2.41.0+0 ⌅ [89763e89] + Libtiff_jll v4.4.0+0 [38a345b3] + Libuuid_jll v2.41.0+0 ⌃ [d3a379c0] + LittleCMS_jll v2.12.0+0 [e98f9f5b] + NVTX_jll v3.1.1+0 ⌃ [643b3616] + OpenJpeg_jll v2.4.0+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [30392449] + Pixman_jll v0.44.2+0 ⌅ [9c32591e] + Poppler_jll v0.87.0+2 ⌅ [f50d1b31] + Rmath_jll v0.4.3+0 ⌅ [02c8fc9c] + XML2_jll v2.13.6+1 [4f6342f7] + Xorg_libX11_jll v1.8.12+0 [0c0b7dd1] + Xorg_libXau_jll v1.0.13+0 [a3789734] + Xorg_libXdmcp_jll v1.1.6+0 [1082639a] + Xorg_libXext_jll v1.3.7+0 [ea2f1a96] + Xorg_libXrender_jll v0.9.12+0 [c7cfdc94] + Xorg_libxcb_jll v1.17.1+0 [c5fb5394] + Xorg_xtrans_jll v1.6.0+0 [3161d3a3] + Zstd_jll v1.5.7+1 [1e29f10c] + demumble_jll v1.3.0+0 [b53b4c65] + libpng_jll v1.6.47+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.6.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.12.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] + LibCURL_jll v8.11.1+1 [e37daf67] + LibGit2_jll v1.9.0+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.2.25 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [458c3c95] + OpenSSL_jll v3.5.0+0 [efcefdf7] + PCRE2_jll v10.44.0+1 [bea87d4a] + SuiteSparse_jll v7.8.3+2 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.12.0+0 [8e850ede] + nghttp2_jll v1.64.0+1 [3f19e933] + p7zip_jll v17.5.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Installation completed after 35.97s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 3809.4 ms ✓ TestEnv 1 dependency successfully precompiled in 4 seconds. 25 already precompiled. Precompiling packages... 687.0 ms ✓ Preferences 635.3 ms ✓ JLLWrappers 673.0 ms ✓ CUDA_Driver_jll 3 dependencies successfully precompiled in 2 seconds. 25 already precompiled. Precompiling package dependencies... Precompilation completed after 804.42s ################################################################################ # Testing # Testing LogicCircuits Status `/tmp/jl_6USqJj/Project.toml` [4c88cf16] Aqua v0.8.11 [052768ef] CUDA v5.7.3 [a93c6f00] DataFrames v1.7.0 ⌅ [ba5e3d4b] Jive v0.2.30 [98b081ad] Literate v2.20.1 [a7847b3b] LogicCircuits v0.4.0 [fd094767] Suppressor v0.2.8 [8ba89e20] Distributed v1.11.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.12.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_6USqJj/Manifest.toml` [621f4979] AbstractFFTs v1.5.0 [79e6a3ab] Adapt v4.3.0 [4c88cf16] Aqua v0.8.11 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.18.0 [a9b6321e] Atomix v1.1.1 [ab4f0b2a] BFloat16s v0.5.1 [62783981] BitTwiddlingConvenienceFunctions v0.1.6 [fa961155] CEnum v0.5.0 [2a0fbf3d] CPUSummary v0.2.6 [336ed68f] CSV v0.10.15 [052768ef] CUDA v5.7.3 [1af6417a] CUDA_Runtime_Discovery v0.3.5 [d360d2e6] ChainRulesCore v1.25.1 [fb6a15b2] CloseOpenIntervals v0.1.13 [944b1d66] CodecZlib v0.7.8 [3da002f7] ColorTypes v0.12.1 [5ae59095] Colors v0.13.0 [f70d9fcc] CommonWorldInvalidations v1.0.0 [34da2185] Compat v4.16.0 [adafc99b] CpuId v0.3.1 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [1e6dae5e] DirectedAcyclicGraphs v0.2.0 [ffbed154] DocStringExtensions v0.9.4 [e2ba6199] ExprTools v0.1.10 [48062228] FilePathsBase v0.9.24 [53c48c17] FixedPointNumbers v0.8.5 [0c68f7d7] GPUArrays v11.2.2 [46192b85] GPUArraysCore v0.2.0 [61eb1bfa] GPUCompiler v1.4.0 [096a3bc2] GPUToolbox v0.2.0 [86223c79] Graphs v1.12.1 [076d061b] HashArrayMappedTries v0.2.0 [3e5b6fbb] HostCPUFeatures v0.1.17 [b5f81e59] IOCapture v0.2.5 [615f187c] IfElse v0.1.1 [d25df0c9] Inflate v0.1.5 [842dd82b] InlineStrings v1.4.3 [3587e190] InverseFunctions v0.1.17 [41ab1584] InvertedIndices v1.3.1 ⌅ [92d709cd] IrrationalConstants v0.1.1 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 ⌅ [ba5e3d4b] Jive v0.2.30 [63c18a36] KernelAbstractions v0.9.34 [929cbde3] LLVM v9.3.1 [8b046642] LLVMLoopInfo v1.0.0 [b964fa9f] LaTeXStrings v1.4.0 [10f19ff3] LayoutPointers v0.1.17 [d42ef402] Lerche v0.5.6 [98b081ad] Literate v2.20.1 [2ab3a3ac] LogExpFunctions v0.3.29 [a7847b3b] LogicCircuits v0.4.0 [bdcacae8] LoopVectorization v0.12.172 [1914dd2f] MacroTools v0.5.16 [d125e4d3] ManualMemory v0.1.8 [e1d29d7a] Missings v1.2.0 [5da4648a] NVTX v1.0.0 [6fe1bfb0] OffsetArrays v1.17.0 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.3 [1d0040c9] PolyesterWeave v0.2.2 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [74087812] Random123 v1.7.0 [e6cf234a] RandomNumbers v1.6.0 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 ⌅ [79098fc4] Rmath v0.7.1 [94e857df] SIMDTypes v0.1.0 [476501e8] SLEEFPirates v0.6.43 [7e506255] ScopedValues v1.3.0 [6c6a2e73] Scratch v1.2.1 [91c51154] SentinelArrays v1.4.8 [699a6c99] SimpleTraits v0.9.4 [a2af1166] SortingAlgorithms v1.2.1 [276daf66] SpecialFunctions v2.5.1 [aedffcd0] Static v1.2.0 [0d7ed370] StaticArrayInterface v1.8.0 [90137ffa] StaticArrays v1.9.13 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 ⌅ [4c63d2b9] StatsFuns v0.9.18 [892a3eda] StringManipulation v0.4.1 [fd094767] Suppressor v0.2.8 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.0 [9ac5f52a] Tectonic v0.8.0 [8290d209] ThreadingUtilities v0.5.3 [b4f28e30] TikzGraphs v1.4.0 ⌃ [37f6aa50] TikzPictures v3.4.2 [e689c965] Tracy v0.1.4 [3bb67fe8] TranscodingStreams v0.11.3 [3a884ed6] UnPack v1.0.2 [013be700] UnsafeAtomics v0.3.0 [3d5dd08c] VectorizationBase v0.21.71 [ea10d353] WeakRefStrings v1.4.2 [76eceee3] WorkerUtilities v1.6.1 [6e34b625] Bzip2_jll v1.0.9+0 [4ee394cb] CUDA_Driver_jll v0.12.1+1 [76a88914] CUDA_Runtime_jll v0.16.1+0 [83423d85] Cairo_jll v1.18.5+0 [2e619515] Expat_jll v2.6.5+0 [a3f928ae] Fontconfig_jll v2.16.0+0 [d7e528f0] FreeType2_jll v2.13.4+0 [78b55507] Gettext_jll v0.21.0+0 [7746bdde] Glib_jll v2.84.0+0 [aacddb02] JpegTurbo_jll v3.1.1+0 [9c1d0b0a] JuliaNVTXCallbacks_jll v0.2.1+0 ⌅ [88015f11] LERC_jll v3.0.0+1 [dad2f222] LLVMExtra_jll v0.0.35+0 [1d63c593] LLVMOpenMP_jll v18.1.8+0 [dd4b983a] LZO_jll v2.10.3+0 [ad6e5548] LibTracyClient_jll v0.9.1+6 [e9f186c6] Libffi_jll v3.4.7+0 [94ce4f54] Libiconv_jll v1.18.0+0 [4b2f31a3] Libmount_jll v2.41.0+0 ⌅ [89763e89] Libtiff_jll v4.4.0+0 [38a345b3] Libuuid_jll v2.41.0+0 ⌃ [d3a379c0] LittleCMS_jll v2.12.0+0 [e98f9f5b] NVTX_jll v3.1.1+0 ⌃ [643b3616] OpenJpeg_jll v2.4.0+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [30392449] Pixman_jll v0.44.2+0 ⌅ [9c32591e] Poppler_jll v0.87.0+2 ⌅ [f50d1b31] Rmath_jll v0.4.3+0 ⌅ [02c8fc9c] XML2_jll v2.13.6+1 [4f6342f7] Xorg_libX11_jll v1.8.12+0 [0c0b7dd1] Xorg_libXau_jll v1.0.13+0 [a3789734] Xorg_libXdmcp_jll v1.1.6+0 [1082639a] Xorg_libXext_jll v1.3.7+0 [ea2f1a96] Xorg_libXrender_jll v0.9.12+0 [c7cfdc94] Xorg_libxcb_jll v1.17.1+0 [c5fb5394] Xorg_xtrans_jll v1.6.0+0 [3161d3a3] Zstd_jll v1.5.7+1 [1e29f10c] demumble_jll v1.3.0+0 [b53b4c65] libpng_jll v1.6.47+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.12.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] LibCURL_jll v8.11.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.2.25 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.5.0+0 [efcefdf7] PCRE2_jll v10.44.0+1 [bea87d4a] SuiteSparse_jll v7.8.3+2 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.0+0 [8e850ede] nghttp2_jll v1.64.0+1 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... 1/21 aqua_test.jl WARNING: llvmcall with integer pointers is deprecated. Use actual pointers instead, replacing i32 or i64 with i8* or ptr in initialize_task(Any) at /home/pkgeval/.julia/packages/ThreadingUtilities/nn4y1/src/ThreadingUtilities.jl WARNING: llvmcall with integer pointers is deprecated. Use actual pointers instead, replacing i32 or i64 with i8* or ptr in initialize_task(Any) at /home/pkgeval/.julia/packages/ThreadingUtilities/nn4y1/src/ThreadingUtilities.jl  Pass: 8 (compile: 53.60, recompile: 2.34, elapsed: 167.18 seconds) 2/21 bitcircuit_test.jl  Pass: 1480 (compile: 25.76, elapsed: 25.82 seconds) 3/21 plain_logic_nodes_test.jl  Pass: 50 (compile: 9.41, recompile: 0.15, elapsed: 9.51 seconds) 4/21 readme_test.jl Readme example usage: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/readme_test.jl:9 Got exception outside of a @test LoadError: TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:127 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:96 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] satisfies(root::LogicCircuits.Plain⋁Node, data::Vector{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:21 [9] satisfies(::LogicCircuits.Plain⋁Node, ::Bool, ::Bool, ::Vararg{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:17 [10] (::LogicCircuits.Plain⋁Node)(::Bool, ::Vararg{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [11] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/build/usage.jl:11 [12] include(mod::Module, _path::String) @ Base ./Base.jl:303 [13] include(x::String) @ Main.anonymous ~/.julia/packages/Jive/ecvc3/src/runtests.jl:184 [14] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/readme_test.jl:11 [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [16] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/readme_test.jl:11 [inlined] [17] include(mod::Module, _path::String) @ Base ./Base.jl:303 [18] include_test_file(context::Nothing, filepath::String) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:186 [19] jive_lets_dance @ ~/.julia/packages/Jive/ecvc3/src/runtests.jl:246 [inlined] [20] normal_run(dir::String, tests::Vector{String}, start_idx::Int64, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:210 [21] runtests(dir::String; skip::Vector{String}, node1::Vector{Any}, targets::Vector{String}, testset::Nothing, enable_distributed::Bool, stop_on_failure::Bool, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:165 [22] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/runtests.jl:5 [23] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [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:294 [27] _start() @ Base ./client.jl:561 in expression starting at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/build/usage.jl:11  Error: 1 (compile: 23.17, recompile: 0.20, elapsed: 23.92 seconds) 5/21 transformations_test.jl Downloading artifact: circuit_model_zoo  Pass: 149 (compile: 73.48, recompile: 1.26, elapsed: 76.96 seconds) 6/21 Utils/data_test.jl  Pass: 64 (compile: 19.02, elapsed: 19.16 seconds) 7/21 Utils/misc_test.jl  Pass: 147 (compile: 28.74, elapsed: 28.88 seconds) 8/21 bdd/bdds_test.jl  Pass: 20737 (compile: 31.36, recompile: 0.21, elapsed: 34.36 seconds) 9/21 io/data_loaders_test.jl Downloading artifact: density_estimation_datasets  Pass: 18 (compile: 31.80, elapsed: 48.47 seconds) 10/21 io/fnf_io_test.jl  Pass: 43 (compile: 3.95, recompile: 0.00, elapsed: 4.16 seconds) 11/21 io/jlc_io_test.jl  Pass: 14 (compile: 15.09, recompile: 0.00, elapsed: 15.19 seconds) 12/21 io/nnf_io_test.jl  Pass: 23 (compile: 3.75, elapsed: 3.82 seconds) 13/21 io/sdd_io_test.jl  Pass: 28 (compile: 14.14, elapsed: 14.31 seconds) 14/21 io/vtree_io_test.jl  Pass: 46 (compile: 2.63, elapsed: 2.67 seconds) 15/21 queries/queries_test.jl Queries test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/queries_test.jl:29 Test threw exception Expression: r1(true, false, true, false, true, false, true, false, true, false) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] satisfies(root::LogicCircuits.Plain⋁Node, data::Vector{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:21 [9] satisfies(::LogicCircuits.Plain⋁Node, ::Bool, ::Bool, ::Vararg{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:17 [10] (::LogicCircuits.Plain⋁Node)(::Bool, ::Vararg{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [11] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/queries_test.jl:29 [inlined] [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] [13] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/queries_test.jl:29 [inlined] [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [15] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/queries_test.jl:10 Queries test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/queries_test.jl:30 Test threw exception Expression: r1([true, false, true, false, true, false, true, false, true, false]) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] satisfies(root::LogicCircuits.Plain⋁Node, data::Vector{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:21 [9] (::LogicCircuits.Plain⋁Node)(data::Vector{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [10] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/queries_test.jl:30 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] [12] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/queries_test.jl:30 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [14] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/queries_test.jl:10  Pass: 90 Error: 2 (compile: 11.65, elapsed: 12.73 seconds) 16/21 queries/satisfies_flow_test.jl Binary flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:17 Test threw exception Expression: r(input) == BitVector([1, 1, 1, 1]) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] (::LogicCircuits.Plain⋁Node)(data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [9] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:10 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [11] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:17 [inlined] [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] Binary flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:21 Test threw exception Expression: r(input) == BitVector([1, 1, 1, 1]) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.PlainStruct⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] (::LogicCircuits.PlainStruct⋁Node)(data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [9] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:10 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [11] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:21 [inlined] [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] Binary flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:8 Got exception outside of a @test TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_flows(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse_values::Nothing, reuse_flows::Nothing; on_node::Function, on_edge::Function, weights::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:32 [6] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:28 [inlined] [7] #satisfies_flows#36 @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:24 [inlined] [8] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [inlined] [9] satisfies_flows(circuit::LogicCircuits.PlainStruct⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [10] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:10 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [12] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:23 [inlined] [13] include(mod::Module, _path::String) @ Base ./Base.jl:303 [14] include_test_file(context::Nothing, filepath::String) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:186 [15] jive_lets_dance @ ~/.julia/packages/Jive/ecvc3/src/runtests.jl:246 [inlined] [16] normal_run(dir::String, tests::Vector{String}, start_idx::Int64, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:210 [17] runtests(dir::String; skip::Vector{String}, node1::Vector{Any}, targets::Vector{String}, testset::Nothing, enable_distributed::Bool, stop_on_failure::Bool, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:165 [18] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/runtests.jl:5 [19] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [20] top-level scope @ none:6 [21] eval(m::Module, e::Any) @ Core ./boot.jl:489 [22] exec_options(opts::Base.JLOptions) @ Base ./client.jl:294 [23] _start() @ Base ./client.jl:561 Weighted binary flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:95 Test threw exception Expression: r(input) == BitVector([1, 1, 1, 1]) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] (::LogicCircuits.Plain⋁Node)(data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [9] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:88 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [11] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:95 [inlined] [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] Weighted binary flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:102 Test threw exception Expression: r(input) == BitVector([1, 1, 1, 1]) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.PlainStruct⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] (::LogicCircuits.PlainStruct⋁Node)(data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [9] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:88 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [11] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:102 [inlined] [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] Weighted binary flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:86 Got exception outside of a @test TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_flows(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse_values::Nothing, reuse_flows::Nothing; on_node::Function, on_edge::Function, weights::Vector{Float32}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:32 [6] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:28 [inlined] [7] #satisfies_flows#36 @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:24 [inlined] [8] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [inlined] [9] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:88 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [11] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:104 [inlined] [12] include(mod::Module, _path::String) @ Base ./Base.jl:303 [13] include_test_file(context::Nothing, filepath::String) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:186 [14] jive_lets_dance @ ~/.julia/packages/Jive/ecvc3/src/runtests.jl:246 [inlined] [15] normal_run(dir::String, tests::Vector{String}, start_idx::Int64, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:210 [16] runtests(dir::String; skip::Vector{String}, node1::Vector{Any}, targets::Vector{String}, testset::Nothing, enable_distributed::Bool, stop_on_failure::Bool, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:165 [17] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/runtests.jl:5 [18] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [19] top-level scope @ none:6 [20] eval(m::Module, e::Any) @ Core ./boot.jl:489 [21] exec_options(opts::Base.JLOptions) @ Base ./client.jl:294 [22] _start() @ Base ./client.jl:561 Soft Flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:163 Got exception outside of a @test TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{Float32}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:121 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float32}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float32}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float32}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{Float32}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_flows(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse_values::Nothing, reuse_flows::Nothing; on_node::Function, on_edge::Function, weights::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:32 [6] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:28 [inlined] [7] #satisfies_flows#36 @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:24 [inlined] [8] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [inlined] [9] satisfies_flows(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [10] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:164 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [12] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:179 [inlined] [13] include(mod::Module, _path::String) @ Base ./Base.jl:303 [14] include_test_file(context::Nothing, filepath::String) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:186 [15] jive_lets_dance @ ~/.julia/packages/Jive/ecvc3/src/runtests.jl:246 [inlined] [16] normal_run(dir::String, tests::Vector{String}, start_idx::Int64, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:210 [17] runtests(dir::String; skip::Vector{String}, node1::Vector{Any}, targets::Vector{String}, testset::Nothing, enable_distributed::Bool, stop_on_failure::Bool, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:165 [18] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/runtests.jl:5 [19] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [20] top-level scope @ none:6 [21] eval(m::Module, e::Any) @ Core ./boot.jl:489 [22] exec_options(opts::Base.JLOptions) @ Base ./client.jl:294 [23] _start() @ Base ./client.jl:561 Probabilistic Flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:206 Test threw exception Expression: r(input) ≈ [1.0, 1.0, 1.0, 1.0] TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{Float64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:121 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{Float64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] (::LogicCircuits.Plain⋁Node)(data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [9] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:199 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [11] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:206 [inlined] [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] Probabilistic Flows test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:197 Got exception outside of a @test TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{Float64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:121 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{Float64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{Float64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_flows(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse_values::Nothing, reuse_flows::Nothing; on_node::Function, on_edge::Function, weights::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:32 [6] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:28 [inlined] [7] #satisfies_flows#36 @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:24 [inlined] [8] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [inlined] [9] satisfies_flows(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [10] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:199 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [12] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:208 [inlined] [13] include(mod::Module, _path::String) @ Base ./Base.jl:303 [14] include_test_file(context::Nothing, filepath::String) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:186 [15] jive_lets_dance @ ~/.julia/packages/Jive/ecvc3/src/runtests.jl:246 [inlined] [16] normal_run(dir::String, tests::Vector{String}, start_idx::Int64, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:210 [17] runtests(dir::String; skip::Vector{String}, node1::Vector{Any}, targets::Vector{String}, testset::Nothing, enable_distributed::Bool, stop_on_failure::Bool, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:165 [18] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/runtests.jl:5 [19] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [20] top-level scope @ none:6 [21] eval(m::Module, e::Any) @ Core ./boot.jl:489 [22] exec_options(opts::Base.JLOptions) @ Base ./client.jl:294 [23] _start() @ Base ./client.jl:561 Downflow API test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:288 Got exception outside of a @test TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_flows(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse_values::Nothing, reuse_flows::Nothing; on_node::Function, on_edge::Function, weights::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:32 [6] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:28 [inlined] [7] #satisfies_flows#36 @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:24 [inlined] [8] satisfies_flows @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [inlined] [9] satisfies_flows(circuit::LogicCircuits.Plain⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies_flow.jl:20 [10] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:289 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [12] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/queries/satisfies_flow_test.jl:298 [inlined] [13] include(mod::Module, _path::String) @ Base ./Base.jl:303 [14] include_test_file(context::Nothing, filepath::String) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:186 [15] jive_lets_dance @ ~/.julia/packages/Jive/ecvc3/src/runtests.jl:246 [inlined] [16] normal_run(dir::String, tests::Vector{String}, start_idx::Int64, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:210 [17] runtests(dir::String; skip::Vector{String}, node1::Vector{Any}, targets::Vector{String}, testset::Nothing, enable_distributed::Bool, stop_on_failure::Bool, context::Nothing, verbose::Bool) @ Jive ~/.julia/packages/Jive/ecvc3/src/runtests.jl:165 [18] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/runtests.jl:5 [19] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [20] top-level scope @ none:6 [21] eval(m::Module, e::Any) @ Core ./boot.jl:489 [22] exec_options(opts::Base.JLOptions) @ Base ./client.jl:294 [23] _start() @ Base ./client.jl:561  Error: 10 (compile: 3.54, elapsed: 8.72 seconds) 17/21 sdd/sdds_test.jl  Pass: 27538 (compile: 5.73, elapsed: 6.11 seconds) 18/21 sdd/trimmed_apply_test.jl  Pass: 78 (compile: 11.31, elapsed: 11.47 seconds) 19/21 sdd/trimmed_sdds_test.jl Trimmed SDD test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/sdd/trimmed_sdds_test.jl:116 Test threw exception Expression: n1(true, false, false, true, false, false, false) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.Sdd⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] satisfies(root::LogicCircuits.Sdd⋁Node, data::Vector{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:21 [9] satisfies(::LogicCircuits.Sdd⋁Node, ::Bool, ::Bool, ::Vararg{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:17 [10] (::LogicCircuits.Sdd⋁Node)(::Bool, ::Vararg{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [11] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/sdd/trimmed_sdds_test.jl:7 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [13] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/sdd/trimmed_sdds_test.jl:116 [inlined] [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] [15] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/sdd/trimmed_sdds_test.jl:116 [inlined] Trimmed SDD test: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/sdd/trimmed_sdds_test.jl:117 Test threw exception Expression: !(n1(false, true, false, true, false, false, false)) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.Sdd⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] satisfies(root::LogicCircuits.Sdd⋁Node, data::Vector{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:21 [9] satisfies(::LogicCircuits.Sdd⋁Node, ::Bool, ::Bool, ::Vararg{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:17 [10] (::LogicCircuits.Sdd⋁Node)(::Bool, ::Vararg{Bool}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [11] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/sdd/trimmed_sdds_test.jl:7 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [13] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/sdd/trimmed_sdds_test.jl:117 [inlined] [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined] [15] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/sdd/trimmed_sdds_test.jl:117 [inlined]  Pass: 65 Error: 2 (compile: 2.93, elapsed: 4.05 seconds) 20/21 structured/structured_logic_nodes_test.jl Structured logic nodes: Error During Test at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/structured/structured_logic_nodes_test.jl:64 Test threw exception Expression: f(DataFrame(BitArray([1 0 1 0 1 0 1 0 1 0; 1 1 1 1 1 1 1 1 1 1; 0 0 0 0 0 0 0 0 0 0; 0 1 1 0 1 0 0 1 0 1]), :auto)) == BitVector([1, 1, 1, 1]) TaskFailedException nested task error: MethodError: objects of type Module are not callable The object of type `Module` exists, but no method is defined for this combination of argument types when trying to treat it as a callable object. Stacktrace: [1] assign_value(v::Matrix{UInt64}, i::Int32, e1p::Int32, e1s::Int32, e2p::Int32, e2s::Int32) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:133 [2] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:99 [inlined] [3] (::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}})(tid::Int64; onethread::Bool) @ LogicCircuits ./threadingconstructs.jl:276 [4] #satisfies_layers##0 @ ./threadingconstructs.jl:243 [inlined] [5] (::Base.Threads.var"#threading_run##0#threading_run##1"{LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, Int64})() @ Base.Threads ./threadingconstructs.jl:177 Stacktrace: [1] threading_run(fun::LogicCircuits.var"#satisfies_layers##0#satisfies_layers##1"{LogicCircuits.var"#satisfies_layers##2#satisfies_layers##3"{LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, Matrix{UInt64}, Matrix{Int32}, Vector{Int32}}}, static::Bool) @ Base.Threads ./threadingconstructs.jl:196 [2] macro expansion @ ./threadingconstructs.jl:213 [inlined] [3] satisfies_layers(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, values::Matrix{UInt64}) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:92 [4] satisfies_all(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame, reuse::Nothing) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:49 [5] satisfies_all @ ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:46 [inlined] [6] satisfies(circuit::LogicCircuits.BitCircuit{Vector{Int32}, Matrix{Int32}}, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:31 [7] satisfies(circuit::LogicCircuits.PlainStruct⋁Node, data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:27 [8] (::LogicCircuits.PlainStruct⋁Node)(data::DataFrames.DataFrame) @ LogicCircuits ~/.julia/packages/LogicCircuits/DAt1M/src/queries/satisfies.jl:13 [9] top-level scope @ ~/.julia/packages/LogicCircuits/DAt1M/test/structured/structured_logic_nodes_test.jl:7 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:1771 [inlined] [11] macro expansion @ ~/.julia/packages/LogicCircuits/DAt1M/test/structured/structured_logic_nodes_test.jl:64 [inlined] [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.12/Test/src/Test.jl:676 [inlined]  Pass: 348 Error: 1 (compile: 7.52, recompile: 0.02, elapsed: 8.23 seconds) 21/21 structured/vtree_tests.jl  Pass: 89 (compile: 3.50, elapsed: 3.61 seconds) ❗️ Test run finished with 16 errors. (compile: 382.08, recompile: 4.18, elapsed: 529.30 seconds) ERROR: LoadError: Test run finished with errors. in expression starting at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/runtests.jl:5 Testing failed after 544.03s ERROR: LoadError: Package LogicCircuits 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:2365 [3] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2220 [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:486 [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:303 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [12] _start() @ Base ./client.jl:561 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 1409.84s: package tests unexpectedly errored