testing 61 test 49 rust 34 assertions 22 verification 19 formal-methods 18 certora 18 macro 16 static 13 assertion 13 logic 11 diff 11 cli 11 tests 10 float 9 debug 9 unit 8 comparison 8 macros 8 rust-lang 8 approximate 7 fluent 7 compare 7 equality 6 command 6 library 5 no_std 5 rust-library 5 floating-point 5 compile-time 5 test-cases 4 static-assertions 4 panic 4 timeout 4 enum 4 no-std 4 solana 4 matchers 4 match 4 changes 4 color 4 filesystem 3 debugging 3 snapshot 3 pattern 3 hacktoberfest 3 debug_assert 3 text 3 duct 3 check 3 soroban 3 rust-crate 3 const 2 approximation 2 assert-that 2 futures 2 async 2 math 2 static_assert 2 assert2 2 proc-macro 2 unit-testing 2 close 2 assertion-library 2 boolean 2 predicate 2 filter 2 pretty 2 rust-text-diffing 2 array 2 folders 2 shouldly 2 rust-tests 2 result 2 rust-macro 2 sizeof 2 unreachable 2 file-logging 1 dify 1 image-comparison 1 sync 1 visual 1 assume 1 soft 1 unchecked 1 bassert 1 build 1 readme 1 docs 1 avow 1 serde 1 unwrap 1 expect 1 struct-layout 1 network 1 validate 1 fluentassertions 1 rust-test 1 impl 1 delayed-assert 1