Skip to content

Commit

Permalink
WIP: topology projection-for TestSuite
Browse files Browse the repository at this point in the history
  • Loading branch information
fmaste committed Oct 2, 2024
1 parent 06830cc commit 754dec3
Show file tree
Hide file tree
Showing 20 changed files with 2,107 additions and 1 deletion.
3 changes: 2 additions & 1 deletion bench/cardano-topology/cardano-topology.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,8 @@ test-suite cardano-topology-test
hs-source-dirs: test/
main-is: Main.hs
type: exitcode-stdio-1.0
other-modules: Paths_cardano_topology
other-modules: Cardano.Benchmarking.Topology.Projection.Tests
, Paths_cardano_topology
autogen-modules: Paths_cardano_topology
build-depends: base
, aeson
Expand Down
9 changes: 9 additions & 0 deletions bench/cardano-topology/data/test/ci-test-coay/node-0.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
{
"Producers": [
{
"addr": "127.0.0.1",
"port": 30001,
"valency": 1
}
]
}
9 changes: 9 additions & 0 deletions bench/cardano-topology/data/test/ci-test-coay/node-1.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
{
"Producers": [
{
"addr": "127.0.0.1",
"port": 30000,
"valency": 1
}
]
}
27 changes: 27 additions & 0 deletions bench/cardano-topology/data/test/ci-test-coay/topology.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
{
"coreNodes": [
{
"name": "node-0",
"nodeId": 0,
"org": "IOHK",
"pools": 1,
"producers": [
"node-1"
],
"region": "loopback",
"stakePool": true
},
{
"name": "node-1",
"nodeId": 1,
"org": "IOHK",
"pools": 1,
"producers": [
"node-0"
],
"region": "loopback",
"stakePool": true
}
],
"relayNodes": []
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,264 @@
{
"Producers": [
{
"addr": "127.0.0.1",
"port": 30000,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30001,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30002,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30003,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30004,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30005,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30006,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30007,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30008,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30009,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30010,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30011,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30012,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30013,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30014,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30015,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30016,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30017,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30018,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30019,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30020,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30021,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30022,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30023,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30024,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30025,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30026,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30027,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30028,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30029,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30030,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30031,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30032,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30033,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30034,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30035,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30036,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30037,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30038,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30039,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30040,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30041,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30042,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30043,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30044,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30045,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30046,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30047,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30048,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30049,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30050,
"valency": 1
},
{
"addr": "127.0.0.1",
"port": 30051,
"valency": 1
}
]
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,66 @@
{
"localRoots": [
{
"accessPoints": [
{
"address": "127.0.0.1",
"port": 30001
}
],
"advertise": false,
"valency": 6
},
{
"accessPoints": [
{
"address": "127.0.0.1",
"port": 30002
}
],
"advertise": false,
"valency": 6
},
{
"accessPoints": [
{
"address": "127.0.0.1",
"port": 30003
}
],
"advertise": false,
"valency": 6
},
{
"accessPoints": [
{
"address": "127.0.0.1",
"port": 30051
}
],
"advertise": false,
"valency": 6
},
{
"accessPoints": [
{
"address": "127.0.0.1",
"port": 30018
}
],
"advertise": false,
"valency": 6
},
{
"accessPoints": [
{
"address": "127.0.0.1",
"port": 30036
}
],
"advertise": false,
"valency": 6
}
],
"publicRoots": [],
"useLedgerAfterSlot": -1
}
Loading

0 comments on commit 754dec3

Please sign in to comment.