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.

43 lines
672 B

  1. {
  2. "mainCode": "{\n}\n",
  3. "signalName2Idx": {
  4. "one": 0,
  5. "main.out": 1
  6. },
  7. "components": [
  8. {
  9. "name": "main",
  10. "params": {},
  11. "template": "A",
  12. "inputSignals": 0
  13. }
  14. ],
  15. "componentName2Idx": {
  16. "main": 0
  17. },
  18. "signals": [
  19. {
  20. "names": [
  21. "one"
  22. ],
  23. "triggerComponents": []
  24. },
  25. {
  26. "names": [
  27. "main.out"
  28. ],
  29. "triggerComponents": []
  30. }
  31. ],
  32. "constraints": [],
  33. "templates": {
  34. "A": "function(ctx) {\n ctx.setSignal(\"out\", [], \"3\");\n ctx.assert(ctx.getSignal(\"out\", []), \"3\");\n}\n"
  35. },
  36. "functions": {},
  37. "nPrvInputs": 0,
  38. "nPubInputs": 0,
  39. "nInputs": 0,
  40. "nOutputs": 0,
  41. "nVars": 1,
  42. "nConstants": 1,
  43. "nSignals": 2
  44. }