https://github.com/smackers/smack-rust-regressions
Regression tests for Rust support in SMACK
https://github.com/smackers/smack-rust-regressions
Last synced: over 1 year ago
JSON representation
Regression tests for Rust support in SMACK
- Host: GitHub
- URL: https://github.com/smackers/smack-rust-regressions
- Owner: smackers
- License: mit
- Created: 2019-07-31T21:42:32.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2019-07-31T22:27:31.000Z (almost 7 years ago)
- Last Synced: 2025-01-11T15:23:37.252Z (over 1 year ago)
- Language: Rust
- Size: 24.4 KB
- Stars: 2
- Watchers: 4
- Forks: 0
- Open Issues: 0