Package evaluation of SoftPosit on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T07:04:41.463 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.79s ################################################################################ # Installation # Installing SoftPosit... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [0775deef] + SoftPosit v0.5.3 Updating `~/.julia/environments/v1.11/Manifest.toml` [0775deef] + SoftPosit v0.5.3 Installation completed after 1.1s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 11.73s ################################################################################ # Testing # Testing SoftPosit Status `/tmp/jl_X7fmi3/Project.toml` [0775deef] SoftPosit v0.5.3 [8dfed614] Test v1.11.0 Status `/tmp/jl_X7fmi3/Manifest.toml` [0775deef] SoftPosit v0.5.3 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [8dfed614] Test v1.11.0 Testing Running tests... Test Summary: | Pass Total Time Bitround identity | 40 40 0.7s Test Summary: | Pass Total Time Bitround round to nearest, tie to even | 2000000 2000000 1.6s Test Summary: | Pass Total Time Bitround upcasting (=no rounding, pad with zeros) | 300000 300000 0.8s Test Summary: | Pass Total Time Float(Posit8) | 760 760 0.0s Test Summary: | Pass Total Time Float(Posit16) | 291 291 0.0s Test Summary: | Pass Total Time Float(Posit16_1) | 275 275 0.0s Test Summary: | Pass Total Time Float(Posit32) | 292 292 0.0s 0 0000000 0 0000001 0 000001 0 0 000001 1 0 00001 00 0 00001 01 0 00001 10 0 00001 11 0 0001 00 0 0 0001 00 1 0 0001 01 0 0 0001 01 1 0 0001 10 0 0 0001 10 1 0 0001 11 0 0 0001 11 1 0 001 00 00 0 001 00 01 0 001 00 10 0 001 00 11 0 001 01 00 0 001 01 01 0 001 01 10 0 001 01 11 0 001 10 00 0 001 10 01 0 001 10 10 0 001 10 11 0 001 11 00 0 001 11 01 0 001 11 10 0 001 11 11 0 01 00 000 0 01 00 001 0 01 00 010 0 01 00 011 0 01 00 100 0 01 00 101 0 01 00 110 0 01 00 111 0 01 01 000 0 01 01 001 0 01 01 010 0 01 01 011 0 01 01 100 0 01 01 101 0 01 01 110 0 01 01 111 0 01 10 000 0 01 10 001 0 01 10 010 0 01 10 011 0 01 10 100 0 01 10 101 0 01 10 110 0 01 10 111 0 01 11 000 0 01 11 001 0 01 11 010 0 01 11 011 0 01 11 100 0 01 11 101 0 01 11 110 0 01 11 111 0 10 00 000 0 10 00 001 0 10 00 010 0 10 00 011 0 10 00 100 0 10 00 101 0 10 00 110 0 10 00 111 0 10 01 000 0 10 01 001 0 10 01 010 0 10 01 011 0 10 01 100 0 10 01 101 0 10 01 110 0 10 01 111 0 10 10 000 0 10 10 001 0 10 10 010 0 10 10 011 0 10 10 100 0 10 10 101 0 10 10 110 0 10 10 111 0 10 11 000 0 10 11 001 0 10 11 010 0 10 11 011 0 10 11 100 0 10 11 101 0 10 11 110 0 10 11 111 0 110 00 00 0 110 00 01 0 110 00 10 0 110 00 11 0 110 01 00 0 110 01 01 0 110 01 10 0 110 01 11 0 110 10 00 0 110 10 01 0 110 10 10 0 110 10 11 0 110 11 00 0 110 11 01 0 110 11 10 0 110 11 11 0 1110 00 0 0 1110 00 1 0 1110 01 0 0 1110 01 1 0 1110 10 0 0 1110 10 1 0 1110 11 0 0 1110 11 1 0 11110 00 0 11110 01 0 11110 10 0 11110 11 0 111110 0 0 111110 1 0 1111110 0 1111111 1 0000000 1 0000001 1 000001 0 1 000001 1 1 00001 00 1 00001 01 1 00001 10 1 00001 11 1 0001 00 0 1 0001 00 1 1 0001 01 0 1 0001 01 1 1 0001 10 0 1 0001 10 1 1 0001 11 0 1 0001 11 1 1 001 00 00 1 001 00 01 1 001 00 10 1 001 00 11 1 001 01 00 1 001 01 01 1 001 01 10 1 001 01 11 1 001 10 00 1 001 10 01 1 001 10 10 1 001 10 11 1 001 11 00 1 001 11 01 1 001 11 10 1 001 11 11 1 01 00 000 1 01 00 001 1 01 00 010 1 01 00 011 1 01 00 100 1 01 00 101 1 01 00 110 1 01 00 111 1 01 01 000 1 01 01 001 1 01 01 010 1 01 01 011 1 01 01 100 1 01 01 101 1 01 01 110 1 01 01 111 1 01 10 000 1 01 10 001 1 01 10 010 1 01 10 011 1 01 10 100 1 01 10 101 1 01 10 110 1 01 10 111 1 01 11 000 1 01 11 001 1 01 11 010 1 01 11 011 1 01 11 100 1 01 11 101 1 01 11 110 1 01 11 111 1 10 00 000 1 10 00 001 1 10 00 010 1 10 00 011 1 10 00 100 1 10 00 101 1 10 00 110 1 10 00 111 1 10 01 000 1 10 01 001 1 10 01 010 1 10 01 011 1 10 01 100 1 10 01 101 1 10 01 110 1 10 01 111 1 10 10 000 1 10 10 001 1 10 10 010 1 10 10 011 1 10 10 100 1 10 10 101 1 10 10 110 1 10 10 111 1 10 11 000 1 10 11 001 1 10 11 010 1 10 11 011 1 10 11 100 1 10 11 101 1 10 11 110 1 10 11 111 1 110 00 00 1 110 00 01 1 110 00 10 1 110 00 11 1 110 01 00 1 110 01 01 1 110 01 10 1 110 01 11 1 110 10 00 1 110 10 01 1 110 10 10 1 110 10 11 1 110 11 00 1 110 11 01 1 110 11 10 1 110 11 11 1 1110 00 0 1 1110 00 1 1 1110 01 0 1 1110 01 1 1 1110 10 0 1 1110 10 1 1 1110 11 0 1 1110 11 1 1 11110 00 1 11110 01 1 11110 10 1 11110 11 1 111110 0 1 111110 1 1 1111110 1 1111111 Test Summary: | Pass Total Time Posit8 idempotence | 1024 1024 0.0s Test Summary: | Pass Total Time Posit16 idempotence | 3000 3000 0.0s Test Summary: | Pass Total Time Posit16_1 idempotence | 2000 2000 0.0s Test Summary: | Pass Total Time Posit32 idempotence | 1000 1000 0.0s Test Summary: | Pass Total Time Powers of 2 | 1790 1790 0.7s Test Summary: | Pass Total Time Conversions: infinity | 16 16 0.0s Test Summary: | Pass Total Time Conversions: NaN | 28 28 0.0s Test Summary: | Pass Broken Total Time No underflow | 14 2 16 0.1s Test Summary: | Pass Broken Total Time No overflow | 14 2 16 0.0s Test Summary: | Pass Total Time Bool conversion | 18 18 0.3s Test Summary: | Pass Total Time Integer conversion | 136 136 0.4s Test Summary: | Pass Total Time Irrationals | 4 4 0.1s Test Summary: | Pass Total Time Arithmetics | 20 20 1.2s Test Summary: | Pass Total Time Comparison | 3120 3120 0.6s Test Summary: | Pass Total Time Nextfloat | 800 800 0.1s Testing SoftPosit tests passed Testing completed after 31.45s PkgEval succeeded after 59.2s