Create SimpleProgram.module.json

huynhtrankhanh · Dec 12, 2024 · a40d91f · a40d91f
1 parent efe2f4a
commit a40d91f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/programs/SimpleProgram.module.json b/programs/SimpleProgram.module.json
@@ -0,0 +1,6 @@
+{
+  "type": "competitive",
+  "inputs": ["SimpleProgram.js", "IO/PrintInt64.js"],
+  "cppOutput": "../generated-cpp/SimpleProgram.sol",
+  "coqOutput": "../generated-coq/SimpleProgram.v"
+}