Update src/main.rs

src/main.rs

@@ -7,7 +7,8 @@ mod programs;
 
 use vm::BCNVM;
 use verifier::verify_program;
-use programs::CREDIT_REQUEST;
+use programs::{CREDIT_REQUEST, GOVERNANCE_VOTE};
+use serde_json;
 
 fn main() {
     let program = CREDIT_REQUEST.to_vec();
@@ -19,7 +20,13 @@ fn main() {
     let mut vm = BCNVM::new(program);
 
     match vm.run() {
-        Ok(_) => println!("Execution OK: {:?}", vm.state),
+        Ok(_) => {
+            println!("Execution OK");
+            println!(
+                "{}",
+                serde_json::to_string_pretty(&vm.state).unwrap()
+            );
+        }
         Err(e) => println!("Execution Error: {}", e),
     }
 }