| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| specs/ | - | 2024-Oct-21 15:10 |
| quickcheck.rs | 679 B | 2024-Oct-21 15:10 |
| spec_test.rs | 3.6 KiB | 2024-Oct-21 15:10 |
| test_round_trip.rs | 1.7 KiB | 2024-Oct-21 15:10 |
| spec_test.rs.inc | 54.3 KiB | 2024-Oct-21 15:10 |
| specexamples.rs.inc | 13.5 KiB | 2024-Oct-21 15:10 |