emit comment in modexp_printer

secure-foundations · Feb 9, 2022 · 4cc70bc · 4cc70bc
1 parent 2720bfe
commit 4cc70bc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/arch/otbn/modexp_printer.s.dfy b/arch/otbn/modexp_printer.s.dfy
@@ -11,6 +11,8 @@ import opened otbn_printer
 method Main()
 {
     var p := new Printer({"modexp_var_3072_f4", "montmul"});
+    var comment := "/*\n  This code is generated by the veri-titan project: https://github.com/secure-foundations/veri-titan\n*/\n";
+    print(comment);
 
     reveal va_code_modexp_var_3072_f4();
     var c := va_code_modexp_var_3072_f4();