13 lines
706 B
Text
13 lines
706 B
Text
{
|
|
"format": 1,
|
|
"generator": "e2e/proofcarry.spec.js: the proof corpus's digital_in+not (codegen::board::corpus), which flowRS's proof table holds",
|
|
"nodes": [
|
|
{ "id": 0, "type_id": "embedded.gpio.digital_in", "properties": { "pin": "3" }, "position": [0.0, 0.0] },
|
|
{ "id": 1, "type_id": "logic.not", "properties": {}, "position": [260.0, 0.0] },
|
|
{ "id": 2, "type_id": "embedded.gpio.digital_out", "properties": { "pin": "6" }, "position": [520.0, 0.0] }
|
|
],
|
|
"wires": [
|
|
{ "id": 0, "from_node": 0, "from_port": "state", "to_node": 1, "to_port": "value", "mode": "Copy" },
|
|
{ "id": 1, "from_node": 1, "from_port": "result", "to_node": 2, "to_port": "state", "mode": "Copy" }
|
|
]
|
|
}
|