Add vc-ltl-5-rust-demo project.

Chuyu-Team · Apr 16, 2023 · 48334f7 · 48334f7
1 parent fda46a2
commit 48334f7
Show file tree

Hide file tree

Showing 4 changed files with 37 additions and 0 deletions.
diff --git a/samples/vc-ltl-5-rust-demo/.gitignore b/samples/vc-ltl-5-rust-demo/.gitignore
@@ -0,0 +1 @@
+/target
diff --git a/samples/vc-ltl-5-rust-demo/Cargo.lock b/samples/vc-ltl-5-rust-demo/Cargo.lock
diff --git a/samples/vc-ltl-5-rust-demo/Cargo.toml b/samples/vc-ltl-5-rust-demo/Cargo.toml
@@ -0,0 +1,17 @@
+[package]
+name = "vc-ltl-5-rust-demo"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+
+[target.i686-pc-windows-msvc.dependencies]
+vc-ltl = "5.0.5"
+
+[target.x86_64-pc-windows-msvc.dependencies]
+vc-ltl = "5.0.5"
+
+[target.aarch64-pc-windows-msvc.dependencies]
+vc-ltl = "5.0.5"
diff --git a/samples/vc-ltl-5-rust-demo/src/main.rs b/samples/vc-ltl-5-rust-demo/src/main.rs
@@ -0,0 +1,3 @@
+fn main() {
+    println!("Hello, world!");
+}