formatting

trying to make nph happy
This commit is contained in:
Eric 2025-01-22 20:02:20 +11:00
parent 39e5d507e0
commit 1fdc03d5d6
No known key found for this signature in database
7 changed files with 24 additions and 25 deletions

View File

@ -77,14 +77,12 @@ asyncchecksuite "Test proof sampler utils":
)
proc getExpectedIndices(n: int): seq[Natural] =
return collect(
newSeq,
return collect(newSeq):
(;
for i in 1 .. n:
cellIndex(
proofInput.entropy, proofInput.slotRoot, proofInput.nCellsPerSlot, i
)
),
)
check:

View File

@ -169,7 +169,8 @@ proc withLogFile*(self: CodexConfigs): CodexConfigs {.raises: [CodexConfigError]
proc withLogFile*(
self: var CodexConfig, logFile: string
) {.raises: [CodexConfigError].} = #: CodexConfigs =
) {.raises: [CodexConfigError].} =
#: CodexConfigs =
## typically called internally from the test suite, sets a log file path to
## be created during the test run, for a specified node in the group
# var config = self

View File

@ -218,15 +218,15 @@ template multinodesuite*(name: string, body: untyped) =
)
config.addCliOption(
PersistenceCmd.prover, "--circom-r1cs",
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs"
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs",
)
config.addCliOption(
PersistenceCmd.prover, "--circom-wasm",
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm"
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm",
)
config.addCliOption(
PersistenceCmd.prover, "--circom-zkey",
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey"
"vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey",
)
return await newCodexProcess(providerIdx, config, Role.Provider)

View File

@ -21,7 +21,7 @@ asyncchecksuite "Command line interface":
args.concat(
@[
"--api-port=" & $(await nextFreePort(8080 + nodeCount)),
"--disc-port=" & $(await nextFreePort(8090 + nodeCount))
"--disc-port=" & $(await nextFreePort(8090 + nodeCount)),
]
),
debug = false,
@ -40,7 +40,7 @@ asyncchecksuite "Command line interface":
@[
"persistence",
"--eth-provider=" & "http://127.0.0.1:" & $HardhatPort,
"--eth-private-key=" & unsafeKeyFile
"--eth-private-key=" & unsafeKeyFile,
]
)
await node.waitUntilOutput(
@ -66,7 +66,7 @@ asyncchecksuite "Command line interface":
"--eth-provider=" & "http://127.0.0.1:" & $HardhatPort,
"prover",
marketplaceArg,
"--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs"
"--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs",
]
)
await node.waitUntilOutput(expectedDownloadInstruction)
@ -80,7 +80,7 @@ asyncchecksuite "Command line interface":
"prover",
marketplaceArg,
"--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs",
"--circom-wasm=tests/circuits/fixtures/proof_main.wasm"
"--circom-wasm=tests/circuits/fixtures/proof_main.wasm",
]
)
await node.waitUntilOutput(expectedDownloadInstruction)

View File

@ -87,7 +87,7 @@ twonodessuite "REST API":
var responseBefore = client1.requestStorageRaw(
cid, duration, reward, proofProbability, collateral, expiry, nodes.uint,
tolerance.uint
tolerance.uint,
)
check responseBefore.status == "400 Bad Request"
@ -108,7 +108,7 @@ twonodessuite "REST API":
var responseBefore = client1.requestStorageRaw(
cid, duration, reward, proofProbability, collateral, expiry, nodes.uint,
tolerance.uint
tolerance.uint,
)
check responseBefore.status == "400 Bad Request"
@ -131,7 +131,7 @@ twonodessuite "REST API":
var responseBefore = client1.requestStorageRaw(
cid, duration, reward, proofProbability, collateral, expiry, nodes.uint,
tolerance.uint
tolerance.uint,
)
check responseBefore.status == "400 Bad Request"
@ -153,7 +153,7 @@ twonodessuite "REST API":
var responseBefore = client1.requestStorageRaw(
cid, duration, reward, proofProbability, collateral, expiry, nodes.uint,
tolerance.uint
tolerance.uint,
)
check responseBefore.status == "200 OK"
@ -200,7 +200,7 @@ twonodessuite "REST API":
let headers = newHttpHeaders(
{
"Content-Type": "text/plain",
"Content-Disposition": "attachment; filename=\"example.txt\""
"Content-Disposition": "attachment; filename=\"example.txt\"",
}
)
let uploadResponse = client1.uploadRaw("some file contents", headers)
@ -228,7 +228,7 @@ twonodessuite "REST API":
let headers = newHttpHeaders(
{
"Content-Disposition": "attachment; filename=\"example.txt\"",
"Content-Type": "text/plain"
"Content-Type": "text/plain",
}
)

View File

@ -16,7 +16,7 @@ const TestConfigs =
IntegrationTestConfig.init("./integration/testmarketplace", startHardhat = true),
IntegrationTestConfig.init("./integration/testproofs", startHardhat = true),
IntegrationTestConfig.init("./integration/testvalidator", startHardhat = true),
IntegrationTestConfig.init("./integration/testecbug", startHardhat = true)
IntegrationTestConfig.init("./integration/testecbug", startHardhat = true),
]
# Echoes stderr if there's a test failure (eg test failed, compilation error)