cli: deprecated --solver-parallel (#314) #4
pull[bot]Annotations
5 errors
|
test (a16z/cicada, cicada, halmos --contract LibPrimeTest --function testProve --loop 256)
Process completed with exit code 1.
|
|
test (a16z/cicada, cicada, halmos --contract LibUint1024Test --function testProve --loop 256)
Process completed with exit code 1.
|
|
test (zobront/halmos-solady, halmos-solady, halmos --function testCheck)
Process completed with exit code 1.
|
|
test (farcasterxyz/contracts, farcaster-contracts, halmos)
Process completed with exit code 1.
|
|
test (morpho-org/morpho-data-structures, morpho-data-structures, halmos --function testProve --lo...
Process completed with exit code 1.
|