testing 64 test 49 rust 35 assertions 22 verification 21 formal-methods 20 certora 20 macro 16 assertion 13 static 13 logic 13 cli 12 diff 12 debug 10 tests 10 comparison 9 float 9 macros 8 rust-lang 8 unit 8 command 7 fluent 7 approximate 7 compare 7 equality 6 floating-point 5 library 5 no_std 5 compile-time 5 rust-library 5 match 4 enum 4 solana 4 matchers 4 changes 4 no-std 4 panic 4 color 4 static-assertions 4 test-cases 4 timeout 4 pattern 3 hacktoberfest 3 text 3 debug_assert 3 unit-testing 3 soroban 3 snapshot 3 debugging 3 duct 3 filesystem 3 rust-crate 3 check 3 pretty 2 close 2 rust-text-diffing 2 result 2 assert2 2 rust-tests 2 static_assert 2 async 2 folders 2 ordering 2 enums 2 derive 2 futures 2 shouldly 2 array 2 const 2 rust-macro 2 assertion-library 2 proc-macro 2 sizeof 2 filter 2 unreachable 2 math 2 approximation 2 predicate 2 boolean 2 assert-that 2 asserts 1 cargo 1 crate 1 function 1 table 1 expect 1 clippy 1 cast 1 warnings 1 style 1 pretty-print 1 rust-test 1 fluentassertions 1 process 1 breakpoint 1 ensure 1 span 1 prettytable 1 difference 1 nix 1