diff --git a/testdata/connector/duo/1.bpdl b/testdata/connector/duo/1.bpdl deleted file mode 100644 index 6a77860c3aa8030a626cf8cca60790d185e411f1..0000000000000000000000000000000000000000 --- a/testdata/connector/duo/1.bpdl +++ /dev/null @@ -1,25 +0,0 @@ -// Network Topology: -// two nodes, a and b, and two channels -// Node a: -// Two ports, a0 and a1, where a0 is passive and a1 is active -// Node b: -// Two ports, b0 and b1, where b0 is active and b1 is passive -// Channel a0--b0, where b0 initiates -// Channel a1--b1, where a1 initiates - -primitive main(out b0, out b1) { - synchronous {} - synchronous {} - synchronous { - msg x = create(0); - put(b0, x); - } - synchronous {} - synchronous { - msg y = create(0); - put(b1, y); - } - while (true) { - synchronous {} - } -} \ No newline at end of file