Open lx302101 opened 1 year ago
Borsh-primitives will return unsat (as expected). But, it takes around 60-90s for it to run, and the cause of the slow speed is unknown. For reference, Borsh-option and Borsh-enums take around 10s to run.
Borsh-primitives
Borsh-option
Borsh-enums
Command: ./verify ./src/rust-jobs/borsh-primitives/
./verify ./src/rust-jobs/borsh-primitives/
Borsh-primitives
will return unsat (as expected). But, it takes around 60-90s for it to run, and the cause of the slow speed is unknown. For reference,Borsh-option
andBorsh-enums
take around 10s to run.Command:
./verify ./src/rust-jobs/borsh-primitives/