sat-rs/fsrc-core/tests/verification_test.rs