Package evaluation of LogicCircuits on Julia 1.12.0-DEV.2153 (83dcbd426d*) started at 2025-03-31T12:44:51.572


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 9.38s


################################################################################
# Installation
#

Installing LogicCircuits...
   Resolving package versions...
   Installed JpegTurbo_jll ──────────────────── v3.1.1+0
   Installed Libmount_jll ───────────────────── v2.40.3+0
   Installed LERC_jll ───────────────────────── v3.0.0+1
   Installed LLVMLoopInfo ───────────────────── v1.0.0
   Installed OffsetArrays ───────────────────── v1.16.0
   Installed StatsFuns ──────────────────────── v0.9.18
   Installed InlineStrings ──────────────────── v1.4.3
   Installed Preferences ────────────────────── v1.4.3
   Installed NVTX_jll ───────────────────────── v3.1.1+0
   Installed CEnum ──────────────────────────── v0.5.0
   Installed InvertedIndices ────────────────── v1.3.1
   Installed Xorg_libpthread_stubs_jll ──────── v0.1.2+0
   Installed TimerOutputs ───────────────────── v0.5.28
   Installed ScopedValues ───────────────────── v1.3.0
   Installed GPUArrays ──────────────────────── v11.2.2
   Installed Cairo_jll ──────────────────────── v1.18.4+0
   Installed Fontconfig_jll ─────────────────── v2.15.0+0
   Installed BFloat16s ──────────────────────── v0.5.1
   Installed Statistics ─────────────────────── v1.11.1
   Installed StaticArrays ───────────────────── v1.9.13
   Installed RandomNumbers ──────────────────── v1.6.0
   Installed Libgpg_error_jll ───────────────── v1.51.1+0
   Installed Xorg_libXau_jll ────────────────── v1.0.12+0
   Installed Static ─────────────────────────── v1.2.0
   Installed CUDA_Runtime_jll ───────────────── v0.16.1+0
   Installed DataFrames ─────────────────────── v1.7.0
   Installed SLEEFPirates ───────────────────── v0.6.43
   Installed TikzGraphs ─────────────────────── v1.4.0
   Installed Missings ───────────────────────── v1.2.0
   Installed demumble_jll ───────────────────── v1.3.0+0
   Installed SIMDTypes ──────────────────────── v0.1.0
   Installed IrrationalConstants ────────────── v0.1.1
   Installed CpuId ──────────────────────────── v0.3.1
   Installed ArnoldiMethod ──────────────────── v0.4.0
   Installed CUDA_Driver_jll ────────────────── v0.12.1+1
   Installed IfElse ─────────────────────────── v0.1.1
   Installed Bzip2_jll ──────────────────────── v1.0.9+0
   Installed LLVM ───────────────────────────── v9.2.0
   Installed StaticArraysCore ───────────────── v1.4.3
   Installed SentinelArrays ─────────────────── v1.4.8
   Installed Lerche ─────────────────────────── v0.5.6
   Installed CUDA_Runtime_Discovery ─────────── v0.3.5
   Installed SpecialFunctions ───────────────── v2.5.0
   Installed LZO_jll ────────────────────────── v2.10.3+0
   Installed WorkerUtilities ────────────────── v1.6.1
   Installed ThreadingUtilities ─────────────── v0.5.2
   Installed ManualMemory ───────────────────── v0.1.8
   Installed TranscodingStreams ─────────────── v0.11.3
   Installed Rmath_jll ──────────────────────── v0.4.3+0
   Installed DirectedAcyclicGraphs ──────────── v0.2.0
   Installed Random123 ──────────────────────── v1.7.0
   Installed WeakRefStrings ─────────────────── v1.4.2
   Installed FreeType2_jll ──────────────────── v2.13.4+0
   Installed ExprTools ──────────────────────── v0.1.10
   Installed Colors ─────────────────────────── v0.13.0
   Installed DataStructures ─────────────────── v0.18.22
   Installed CommonWorldInvalidations ───────── v1.0.0
   Installed Compat ─────────────────────────── v4.16.0
   Installed StaticArrayInterface ───────────── v1.8.0
   Installed CodecZlib ──────────────────────── v0.7.8
   Installed libpng_jll ─────────────────────── v1.6.47+0
   Installed Xorg_libxcb_jll ────────────────── v1.17.0+3
   Installed Scratch ────────────────────────── v1.2.1
   Installed BitTwiddlingConvenienceFunctions ─ v0.1.6
   Installed ColorTypes ─────────────────────── v0.12.0
   Installed Graphs ─────────────────────────── v1.12.0
   Installed Xorg_libXext_jll ───────────────── v1.3.6+3
   Installed LayoutPointers ─────────────────── v0.1.17
   Installed Zstd_jll ───────────────────────── v1.5.7+1
   Installed TableTraits ────────────────────── v1.0.1
   Installed Expat_jll ──────────────────────── v2.6.5+0
   Installed Poppler_jll ────────────────────── v0.87.0+2
   Installed Inflate ────────────────────────── v0.1.5
   Installed Parsers ────────────────────────── v2.8.1
   Installed HashArrayMappedTries ───────────── v0.2.0
   Installed Libtiff_jll ────────────────────── v4.4.0+0
   Installed PooledArrays ───────────────────── v1.4.3
   Installed JLLWrappers ────────────────────── v1.7.0
   Installed AbstractFFTs ───────────────────── v1.5.0
   Installed PrettyTables ───────────────────── v2.4.0
   Installed LoopVectorization ──────────────── v0.12.172
   Installed Libffi_jll ─────────────────────── v3.4.7+0
   Installed LLVMExtra_jll ──────────────────── v0.0.35+0
   Installed DataValueInterfaces ────────────── v1.0.0
   Installed NVTX ───────────────────────────── v1.0.0
   Installed OrderedCollections ─────────────── v1.8.0
   Installed Xorg_libXrender_jll ────────────── v0.9.11+1
   Installed PolyesterWeave ─────────────────── v0.2.2
   Installed XSLT_jll ───────────────────────── v1.1.42+0
   Installed ArrayInterface ─────────────────── v7.18.0
   Installed Tectonic ───────────────────────── v0.8.0
   Installed Reexport ───────────────────────── v1.2.2
   Installed LogExpFunctions ────────────────── v0.3.29
   Installed ChainRulesCore ─────────────────── v1.25.1
   Installed LittleCMS_jll ──────────────────── v2.12.0+0
   Installed OpenSpecFun_jll ────────────────── v0.5.6+0
   Installed CloseOpenIntervals ─────────────── v0.1.13
   Installed UnPack ─────────────────────────── v1.0.2
   Installed MacroTools ─────────────────────── v0.5.15
   Installed UnsafeAtomics ──────────────────── v0.3.0
   Installed KernelAbstractions ─────────────── v0.9.34
   Installed Libuuid_jll ────────────────────── v2.40.3+0
   Installed InverseFunctions ───────────────── v0.1.17
   Installed SimpleTraits ───────────────────── v0.9.4
   Installed Atomix ─────────────────────────── v1.1.1
   Installed DocStringExtensions ────────────── v0.9.4
   Installed GPUArraysCore ──────────────────── v0.2.0
   Installed Crayons ────────────────────────── v4.1.1
   Installed Adapt ──────────────────────────── v4.3.0
   Installed TikzPictures ───────────────────── v3.4.2
   Installed XML2_jll ───────────────────────── v2.13.6+1
   Installed Pixman_jll ─────────────────────── v0.44.2+0
   Installed Rmath ──────────────────────────── v0.7.1
   Installed Xorg_xtrans_jll ────────────────── v1.5.1+0
   Installed Gettext_jll ────────────────────── v0.21.0+0
   Installed OpenJpeg_jll ───────────────────── v2.4.0+0
   Installed Libgcrypt_jll ──────────────────── v1.11.0+0
   Installed VectorizationBase ──────────────── v0.21.71
   Installed GPUCompiler ────────────────────── v1.3.2
   Installed CPUSummary ─────────────────────── v0.2.6
   Installed Tables ─────────────────────────── v1.12.0
   Installed LLVMOpenMP_jll ─────────────────── v18.1.7+0
   Installed DataAPI ────────────────────────── v1.16.0
   Installed LogicCircuits ──────────────────── v0.4.0
   Installed FixedPointNumbers ──────────────── v0.8.5
   Installed CSV ────────────────────────────── v0.10.15
   Installed IteratorInterfaceExtensions ────── v1.0.0
   Installed Libiconv_jll ───────────────────── v1.18.0+0
   Installed PrecompileTools ────────────────── v1.3.0
   Installed HostCPUFeatures ────────────────── v0.1.17
   Installed GPUToolbox ─────────────────────── v0.2.0
   Installed LaTeXStrings ───────────────────── v1.4.0
   Installed Glib_jll ───────────────────────── v2.84.0+0
   Installed JuliaNVTXCallbacks_jll ─────────── v0.2.1+0
   Installed Xorg_libX11_jll ────────────────── v1.8.6+3
   Installed Xorg_libXdmcp_jll ──────────────── v1.1.5+0
   Installed Requires ───────────────────────── v1.3.1
   Installed FilePathsBase ──────────────────── v0.9.24
   Installed StringManipulation ─────────────── v0.4.1
   Installed SortingAlgorithms ──────────────── v1.2.1
   Installed CUDA ───────────────────────────── v5.7.1
  Installing 43 artifacts
   Installed artifact JuliaNVTXCallbacks    8.6 KiB
   Installed artifact Xorg_xtrans           47.7 KiB
   Installed artifact Expat                 271.4 KiB
   Installed artifact LLVMOpenMP            661.6 KiB
   Installed artifact Libgcrypt             1.8 MiB
   Installed artifact LERC                  218.5 KiB
   Installed artifact LLVMExtra             2.8 MiB
   Installed artifact XSLT                  728.3 KiB
   Installed artifact Fontconfig            527.0 KiB
   Installed artifact NVTX                  13.7 KiB
   Installed artifact Xorg_libpthread_stubs 1.0 KiB
   Installed artifact Xorg_libXdmcp         67.7 KiB
   Installed artifact biber_bin             18.4 MiB
   Installed artifact Pixman                372.2 KiB
   Installed artifact LittleCMS             721.0 KiB
   Installed artifact Libuuid               3.5 MiB
   Installed artifact Libffi                44.2 KiB
   Installed artifact OpenJpeg              403.1 KiB
   Installed artifact demumble              322.0 KiB
   Installed artifact libpng                328.5 KiB
   Installed artifact Libgpg_error          575.5 KiB
   Installed artifact FreeType2             1.5 MiB
   Installed artifact LZO                   208.9 KiB
   Installed artifact XML2                  2.5 MiB
   Installed artifact OpenSpecFun           194.9 KiB
   Installed artifact tectonic_bin          22.9 MiB
   Installed artifact Rmath                 119.6 KiB
   Installed artifact Bzip2                 503.5 KiB
   Installed artifact Xorg_libXrender       434.8 KiB
   Installed artifact Libmount              6.3 MiB
   Installed artifact Libiconv              1.9 MiB
   Installed artifact Xorg_libXau           36.6 KiB
   Installed artifact Cairo                 2.2 MiB
   Installed artifact Xorg_libxcb           2.1 MiB
   Installed artifact Xorg_libX11           13.9 MiB
   Installed artifact Glib                  7.7 MiB
   Installed artifact JpegTurbo             1.6 MiB
   Installed artifact Poppler               1.9 MiB
   Installed artifact Zstd                  646.0 KiB
   Installed artifact Xorg_libXext          699.3 KiB
   Installed artifact Libtiff               2.5 MiB
   Installed artifact CUDA_Driver           58.5 MiB
   Installed artifact Gettext               4.5 MiB
    Updating `~/.julia/environments/v1.12/Project.toml`
  [a7847b3b] + LogicCircuits v0.4.0
    Updating `~/.julia/environments/v1.12/Manifest.toml`
Precompiling packages...
   1595.8 ms  ✓ Preferences
   1504.8 ms  ✓ JLLWrappers
   3333.9 ms  ✓ CUDA_Driver_jll
  3 dependencies successfully precompiled in 7 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.1
  [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.0
  [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.3.2
  [096a3bc2] + GPUToolbox v0.2.0
  [86223c79] + Graphs v1.12.0
  [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.2.0
  [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.15
  [d125e4d3] + ManualMemory v0.1.8
  [e1d29d7a] + Missings v1.2.0
  [5da4648a] + NVTX v1.0.0
  [6fe1bfb0] + OffsetArrays v1.16.0
  [bac558e1] + OrderedCollections v1.8.0
  [69de0a69] + Parsers v2.8.1
  [1d0040c9] + PolyesterWeave v0.2.2
  [2dfb63ee] + PooledArrays v1.4.3
  [aea7be01] + PrecompileTools v1.3.0
  [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.0
  [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.2
  [b4f28e30] + TikzGraphs v1.4.0
⌃ [37f6aa50] + TikzPictures v3.4.2
  [a759f4b9] + TimerOutputs v0.5.28
  [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.4+0
  [2e619515] + Expat_jll v2.6.5+0
  [a3f928ae] + Fontconfig_jll v2.15.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.7+0
  [dd4b983a] + LZO_jll v2.10.3+0
  [e9f186c6] + Libffi_jll v3.4.7+0
  [d4300ac3] + Libgcrypt_jll v1.11.0+0
  [7add5ba3] + Libgpg_error_jll v1.51.1+0
  [94ce4f54] + Libiconv_jll v1.18.0+0
  [4b2f31a3] + Libmount_jll v2.40.3+0
⌅ [89763e89] + Libtiff_jll v4.4.0+0
  [38a345b3] + Libuuid_jll v2.40.3+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
  [aed1982a] + XSLT_jll v1.1.42+0
  [4f6342f7] + Xorg_libX11_jll v1.8.6+3
  [0c0b7dd1] + Xorg_libXau_jll v1.0.12+0
  [a3789734] + Xorg_libXdmcp_jll v1.1.5+0
  [1082639a] + Xorg_libXext_jll v1.3.6+3
  [ea2f1a96] + Xorg_libXrender_jll v0.9.11+1
  [14d82f49] + Xorg_libpthread_stubs_jll v0.1.2+0
  [c7cfdc94] + Xorg_libxcb_jll v1.17.0+3
  [c5fb5394] + Xorg_xtrans_jll v1.5.1+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 v2024.12.31
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [05823500] + OpenLibm_jll v0.8.5+0
  [458c3c95] + OpenSSL_jll v3.0.16+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 52.33s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
Precompiling packages...
   6580.7 ms  ✓ TestEnv
  1 dependency successfully precompiled in 9 seconds. 25 already precompiled.

Precompiling packages...
   1027.4 ms  ✓ Preferences
   1037.4 ms  ✓ JLLWrappers
   1052.3 ms  ✓ CUDA_Driver_jll
  3 dependencies successfully precompiled in 4 seconds. 25 already precompiled.
Precompiling package dependencies...

Precompilation completed after 1077.08s


################################################################################
# Testing
#

     Testing LogicCircuits
      Status `/tmp/jl_lKAgUr/Project.toml`
  [4c88cf16] Aqua v0.8.11
  [052768ef] CUDA v5.7.1
  [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_lKAgUr/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.1
  [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.0
  [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.3.2
  [096a3bc2] GPUToolbox v0.2.0
  [86223c79] Graphs v1.12.0
  [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.2.0
  [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.15
  [d125e4d3] ManualMemory v0.1.8
  [e1d29d7a] Missings v1.2.0
  [5da4648a] NVTX v1.0.0
  [6fe1bfb0] OffsetArrays v1.16.0
  [bac558e1] OrderedCollections v1.8.0
  [69de0a69] Parsers v2.8.1
  [1d0040c9] PolyesterWeave v0.2.2
  [2dfb63ee] PooledArrays v1.4.3
  [aea7be01] PrecompileTools v1.3.0
  [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.0
  [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.2
  [b4f28e30] TikzGraphs v1.4.0
⌃ [37f6aa50] TikzPictures v3.4.2
  [a759f4b9] TimerOutputs v0.5.28
  [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.4+0
  [2e619515] Expat_jll v2.6.5+0
  [a3f928ae] Fontconfig_jll v2.15.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.7+0
  [dd4b983a] LZO_jll v2.10.3+0
  [e9f186c6] Libffi_jll v3.4.7+0
  [d4300ac3] Libgcrypt_jll v1.11.0+0
  [7add5ba3] Libgpg_error_jll v1.51.1+0
  [94ce4f54] Libiconv_jll v1.18.0+0
  [4b2f31a3] Libmount_jll v2.40.3+0
⌅ [89763e89] Libtiff_jll v4.4.0+0
  [38a345b3] Libuuid_jll v2.40.3+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
  [aed1982a] XSLT_jll v1.1.42+0
  [4f6342f7] Xorg_libX11_jll v1.8.6+3
  [0c0b7dd1] Xorg_libXau_jll v1.0.12+0
  [a3789734] Xorg_libXdmcp_jll v1.1.5+0
  [1082639a] Xorg_libXext_jll v1.3.6+3
  [ea2f1a96] Xorg_libXrender_jll v0.9.11+1
  [14d82f49] Xorg_libpthread_stubs_jll v0.1.2+0
  [c7cfdc94] Xorg_libxcb_jll v1.17.0+3
  [c5fb5394] Xorg_xtrans_jll v1.5.1+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 v2024.12.31
  [4536629a] OpenBLAS_jll v0.3.29+0
  [05823500] OpenLibm_jll v0.8.5+0
  [458c3c95] OpenSSL_jll v3.0.16+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/3z3g0/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/3z3g0/src/ThreadingUtilities.jl
    Pass: 8  (compile: 47.59, recompile: 2.10, elapsed: 137.42 seconds)
2/21 bitcircuit_test.jl
    Pass: 1480  (compile: 21.80, elapsed: 21.85 seconds)
3/21 plain_logic_nodes_test.jl
    Pass: 50  (compile: 7.90, recompile: 0.13, elapsed: 7.98 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:560
  in expression starting at /home/pkgeval/.julia/packages/LogicCircuits/DAt1M/test/build/usage.jl:11
    Error: 1  (compile: 18.10, recompile: 0.17, elapsed: 18.79 seconds)
5/21 transformations_test.jl
 Downloading artifact: circuit_model_zoo
    Pass: 149  (compile: 62.26, recompile: 1.00, elapsed: 65.44 seconds)
6/21 Utils/data_test.jl
    Pass: 64  (compile: 15.26, elapsed: 15.38 seconds)
7/21 Utils/misc_test.jl
    Pass: 147  (compile: 22.91, elapsed: 23.03 seconds)
8/21 bdd/bdds_test.jl
    Pass: 20701  (compile: 25.36, recompile: 0.17, elapsed: 27.97 seconds)
9/21 io/data_loaders_test.jl
 Downloading artifact: density_estimation_datasets
    Pass: 18  (compile: 26.37, elapsed: 34.45 seconds)
10/21 io/fnf_io_test.jl
    Pass: 43  (compile: 3.31, recompile: 0.00, elapsed: 4.23 seconds)
11/21 io/jlc_io_test.jl
    Pass: 14  (compile: 12.72, recompile: 0.00, elapsed: 12.80 seconds)
12/21 io/nnf_io_test.jl
    Pass: 23  (compile: 3.33, elapsed: 3.39 seconds)
13/21 io/sdd_io_test.jl
    Pass: 28  (compile: 12.10, elapsed: 12.25 seconds)
14/21 io/vtree_io_test.jl
    Pass: 46  (compile: 2.47, elapsed: 2.50 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: 9.95, elapsed: 10.93 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:560
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:560
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:560
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:560
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:560
    Error: 10  (compile: 2.90, elapsed: 7.50 seconds)
17/21 sdd/sdds_test.jl
    Pass: 27538  (compile: 4.88, elapsed: 5.20 seconds)
18/21 sdd/trimmed_apply_test.jl
    Pass: 78  (compile: 9.71, elapsed: 9.85 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.51, elapsed: 3.50 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: 6.46, recompile: 0.02, elapsed: 7.09 seconds)
21/21 structured/vtree_tests.jl
    Pass: 89  (compile: 2.92, elapsed: 3.01 seconds)
❗️  Test run finished with 16 errors.  (compile: 320.79, recompile: 3.59, elapsed: 434.59 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 451.85s

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:560
in expression starting at /PkgEval.jl/scripts/evaluate.jl:210

PkgEval failed after 1658.78s: package tests unexpectedly errored