Testing CRUX requirements