diff --git a/rosette-scala/src/main/scala/coop/rchain/rosette/Main.scala b/rosette-scala/src/main/scala/coop/rchain/rosette/Main.scala index 4a54192..55454aa 100644 --- a/rosette-scala/src/main/scala/coop/rchain/rosette/Main.scala +++ b/rosette-scala/src/main/scala/coop/rchain/rosette/Main.scala @@ -14,7 +14,17 @@ object Main extends App { Stream.continually(stdin.read()).takeWhile(_ != -1).foreach(bytes += _) Parser.parse(bytes) match { - case Right(result) => println(result.show) + case Right(opCodes) => + val initState = VMState(Map(), + Code(null, null, null, null), + Ctxt.PLACEHOLDER, + Location.PLACEHOLDER, + PC(0)) + + val exitState = VirtualMachine.executeSeq(opCodes, initState) + + println(exitState) + case Left(error) => println(error.show) } }