run morpho with default solver #360
Annotations
1 error
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 25...
Process completed with exit code 139.
|