add basic compile test case for ere-sp1

tests/.gitignore

@@ -0,0 +1,2 @@
+**/target
+**/Cargo.lock

tests/sp1/compile/basic/Cargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "pacto-test-succinct-guest"
+version = "0.1.0"
+edition = "2021"
+
+[workspace]
+
+[dependencies]
+sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git" }

tests/sp1/compile/basic/src/main.rs

@@ -0,0 +1,10 @@
+#![no_main]
+
+sp1_zkvm::entrypoint!(main);
+
+pub fn main() {
+    // Read an input
+    let n = sp1_zkvm::io::read::<u32>();
+    // Write n*2 to output
+    sp1_zkvm::io::commit(&(n * 2));
+}