Skip to content

Pravda compile dotnet

pravda compile dotnet --input <sequence> --output <file> --main-class <string>


Compile .exe produced by .NET compiler to Pravda VM bytecode. Input file is a .NET PE (portable executable). Output is binary Pravdaprogram. By default read from stdin and print to stdout


Option Description
-i, --input Input file
-o, --output Output file
--main-class Full name of class that should be compile to Pravda program