https://github.com/runtimeverification/mir-semantics-compiletest
Test suite for MIR semantics
https://github.com/runtimeverification/mir-semantics-compiletest
Last synced: 5 months ago
JSON representation
Test suite for MIR semantics
- Host: GitHub
- URL: https://github.com/runtimeverification/mir-semantics-compiletest
- Owner: runtimeverification
- License: bsd-3-clause
- Created: 2023-02-13T22:42:17.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2024-06-04T23:31:57.000Z (almost 2 years ago)
- Last Synced: 2024-06-06T00:14:02.411Z (almost 2 years ago)
- Language: Rust
- Size: 10.9 MB
- Stars: 1
- Watchers: 6
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE