You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
44 lines
672 B
44 lines
672 B
{
|
|
"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
|
|
}
|