crux-rustc makes it an error to annotate non-functions with #[crux::test] attributes. saw-rustc effectivelly annotates everything with that attribute, but we don't want to error when the annotation is applied to a non-function, as typical Rust code will have more things (e.g., statics) than just functions. We now make saw-rustc skip non-functions (thereby not marking them as roots) instead of erroring.
crux-rustcmakes it an error to annotate non-functions with#[crux::test]attributes.saw-rustceffectivelly annotates everything with that attribute, but we don't want to error when the annotation is applied to a non-function, as typical Rust code will have more things (e.g.,statics) than just functions. We now makesaw-rustcskip non-functions (thereby not marking them as roots) instead of erroring.Fixes #55.