test

Function test 

Source
pub(crate) fn test(args: Test, rust_fixpoint: bool) -> Result<()>