LordXido commited on
Commit
3618269
·
verified ·
1 Parent(s): 0e03f51

Create src/main.rs

Browse files
Files changed (1) hide show
  1. src/main.rs +25 -0
src/main.rs ADDED
@@ -0,0 +1,25 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ mod vm;
2
+ mod opcode;
3
+ mod registers;
4
+ mod state;
5
+ mod verifier;
6
+ mod programs;
7
+
8
+ use vm::BCNVM;
9
+ use verifier::verify_program;
10
+ use programs::CREDIT_REQUEST;
11
+
12
+ fn main() {
13
+ let program = CREDIT_REQUEST.to_vec();
14
+
15
+ if let Err(e) = verify_program(&program) {
16
+ panic!("Program rejected: {}", e);
17
+ }
18
+
19
+ let mut vm = BCNVM::new(program);
20
+
21
+ match vm.run() {
22
+ Ok(_) => println!("Execution OK: {:?}", vm.state),
23
+ Err(e) => println!("Execution Error: {}", e),
24
+ }
25
+ }