|
|
{ "mainCode": "{\n}\n", "signalName2Idx": { "one": 0, "main.out": 1 }, "components": [ { "name": "main", "params": {}, "template": "A", "inputSignals": 0 } ], "componentName2Idx": { "main": 0 }, "signals": [ { "names": [ "one" ], "triggerComponents": [] }, { "names": [ "main.out" ], "triggerComponents": [] } ], "constraints": [], "templates": { "A": "function(ctx) {\n ctx.setSignal(\"out\", [], \"3\");\n ctx.assert(ctx.getSignal(\"out\", []), \"3\");\n}\n" }, "functions": {}, "nPrvInputs": 0, "nPubInputs": 0, "nInputs": 0, "nOutputs": 0, "nVars": 1, "nConstants": 1, "nSignals": 2 }
|