diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-31 12:58:02 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-31 12:58:02 +0200 |
| commit | a673cfb1c33c35d4e151329f882a00b12a03da14 (patch) | |
| tree | cc804741d8a1fc7526d603d29df77ca5445a9de8 /guests_macro/src | |
| parent | ce84e507e13de389c023ce42c29bbbea515f67d6 (diff) | |
| download | zkVMs-benchmarks-a673cfb1c33c35d4e151329f882a00b12a03da14.tar zkVMs-benchmarks-a673cfb1c33c35d4e151329f882a00b12a03da14.tar.gz zkVMs-benchmarks-a673cfb1c33c35d4e151329f882a00b12a03da14.zip | |
feat: Add output type to zkvms_host_io macro
Diffstat (limited to 'guests_macro/src')
| -rw-r--r-- | guests_macro/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/guests_macro/src/lib.rs b/guests_macro/src/lib.rs index f87e8a5..0ab7ec2 100644 --- a/guests_macro/src/lib.rs +++ b/guests_macro/src/lib.rs @@ -8,7 +8,8 @@ pub fn proving_entrypoint(_: TokenStream, mut item: TokenStream) -> TokenStream // Put the file in zkVMs-benchmarks/guests/ let mut output = File::create("../type.txt").unwrap(); - write!(output, "{}", args); + writeln!(output, "{}", args); + write!(output, "{}", ret); item.extend(format!("#[macro_export] macro_rules! entrypoint_expr {{ |