Package evaluation of WeaklyHard on Julia 1.10.8 (92f03a4775*) started at 2025-02-25T04:23:49.972 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.29s ################################################################################ # Installation # Installing WeaklyHard... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [e696503b] + WeaklyHard v0.2.1 Updating `~/.julia/environments/v1.10/Manifest.toml` [e696503b] + WeaklyHard v0.2.1 [56f22d72] + Artifacts [2a0f44e3] + Base64 [b77e0a4c] + InteractiveUtils [8f399da3] + Libdl [37e2e46d] + LinearAlgebra [56ddb016] + Logging [d6f4376e] + Markdown [9a3f8284] + Random [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization [8dfed614] + Test [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [4536629a] + OpenBLAS_jll v0.3.23+4 [8e850b90] + libblastrampoline_jll v5.11.0+0 Installation completed after 3.78s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 10.72s ################################################################################ # Testing # Testing WeaklyHard Status `/tmp/jl_MaRVKk/Project.toml` [e696503b] WeaklyHard v0.2.1 [37e2e46d] LinearAlgebra [8dfed614] Test Status `/tmp/jl_MaRVKk/Manifest.toml` [e696503b] WeaklyHard v0.2.1 [56f22d72] Artifacts [2a0f44e3] Base64 [b77e0a4c] InteractiveUtils [8f399da3] Libdl [37e2e46d] LinearAlgebra [56ddb016] Logging [d6f4376e] Markdown [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [8dfed614] Test [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [4536629a] OpenBLAS_jll v0.3.23+4 [8e850b90] libblastrampoline_jll v5.11.0+0 Testing Running tests... length(seqs) = 32 Test Summary: | Pass Total Time Trivial Tests - RowHitConstraint | 48116 48116 3.2s Test Summary: | Pass Total Time Trivial Tests - RowMissConstraint | 62419 62419 0.3s Test Summary: | Pass Total Time Trivial Tests - AnyMissConstraint | 62176 62176 0.7s Test Summary: | Pass Total Time Trivial Tests - AnyHitConstraint | 62176 62176 0.8s Test Summary: | Pass Total Time RowMiss-RowMiss - Tests | 10000 10000 0.0s Test Summary: | Pass Total Time RowHit-RowHit - Tests | 10000 10000 0.0s Test Summary: | Pass Total Time AnyMiss-AnyMiss - Tests | 10000 10000 0.0s Test Summary: | Pass Total Time AnyHit-AnyHit - Tests | 10000 10000 0.0s Test Summary: | Pass Total Time RowMiss-X - Analytic Tests | 30000 30000 0.4s Test Summary: | Pass Total Time RowHit-X - Analytic Tests | 20000 20000 0.3s Test Summary: | Pass Total Time AnyMiss-X - Analytic Tests | 30000 30000 0.3s Test Summary: | Pass Total Time AnyHit-X - Analytic Tests | 30000 30000 0.3s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time 2 Random Constraints | 10000 10000 6.1s Test Summary: | Pass Total Time Arbitrary Random Constraints | 10000 10000 5.0s Test Summary: | Pass Total Time Shift Tests | 5000 5000 0.9s Test Summary: | Pass Total Time Shift_RowHit Tests | 5000 5000 0.2s Executed tests on 448 different automata Test Summary: | Pass Total Time Vertices Tests | 448 448 31.2s Executed tests on 453 different automata Test Summary: | Pass Total Time Transitions Tests | 453 453 13.1s Test Summary: | Pass Total Time Set-construction Tests | 19431171 19431171 1m00.8s Test Summary: | Pass Total Time Minimizing single-constraint automata | 1000 1000 11.8s Test Summary: | Pass Total Time Test all sequences generated by automaton - Not RowHitConstraint | 780 780 3.0s Test Summary: | Pass Total Time Test all sequences generated by automaton - Only RowHitConstraint | 158 158 0.6s Test Summary: | Pass Total Time Test all sequences generated by automaton - Sets of All but RowHitConstraint | 600 600 10.0s Test Summary: | Pass Total Time Test all sequences generated by automaton - Only Sets of RowHitConstraint | 600 600 1.2s Test Summary: | Pass Total Time Test all sequences generated by automaton - Arbitrary sets | 600 600 8.3s Biggest automaton for AnyMissConstraint: 6435 Test Summary: | Pass Total Time Random sequence tests - AnyMissConstraint | 25110 25110 5.6s Biggest automaton for AnyHitConstraint: 6435 Test Summary: | Pass Total Time Random sequence tests - AnyHitConstraint | 25110 25110 5.2s Biggest automaton for RowMissConstraint: 16 Test Summary: | Pass Total Time Random sequence tests - RowMissConstraint | 25110 25110 5.3s Biggest automaton for RowHitConstraint: 28 Test Summary: | Pass Total Time Random sequence tests - RowHitConstraint | 25110 25110 17.5s Test Summary: | Pass Total Time Print automaton | 6 6 3.0s Test Summary: | Pass Total Time Print BigInt | 2 2 0.7s Test Summary: | Pass Total Time Print Constraint | 4 4 1.5s Testing WeaklyHard tests passed Testing completed after 215.02s PkgEval succeeded after 237.43s