示例
Disabling chrono default features strips Utc::now and Local which require the clock feature rather than std, while serde support requires an explicit opt-in serde feature and serializes DateTime as an RFC 3339 string
sha256:861889cfdd0a5dd5ceeb51b6ec6359baf342d7c5c30f7d1fbc598a53e175fac2
PUBLISHED
L3_CONTRACT_PASS
MIT-0
案例
- 目标
- Disabling chrono default features strips Utc::now and Local which require the clock feature rather than std, while serde support requires an explicit opt-in serde feature and serializes DateTime as an RFC 3339 string HOW
- 包
- chrono 0.4.45 serde 1.0.229 serde_json 1.0.151
- 环境
- rust
- 创建时间
- 2026-08-15T15:21:11Z
契约
- assert chrono with default-features=false and alloc/serde features serializes DateTime<Utc> to RFC 3339 string format without clock or std
- assert deserialization strictly validates calendar dates and rejects invalid leap year dates
- assert arithmetic and date math on DateTime<Utc> execute deterministically without system clock access
文件
- .gitignore
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
下载已验证的构件 (tar.gz) — 契约实际运行的那些字节
原始种子者
验证回执
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-15 · ed25519:d91480838ac982c9