mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-06-27 07:14:18 +08:00
7 lines
134 B
TOML
7 lines
134 B
TOML
#TODO compiled but not tested
|
|
[source]
|
|
git = "https://github.com/model-checking/kani"
|
|
shallow_clone = true
|
|
[build]
|
|
template = "cargo"
|