negative test for merkle_verify

TritonVM / tasm-lib

A collection of functions written in Triton VM assembly (tasm)

Apache License 2.0

11 stars 2 forks source link

negative test for merkle_verify #60

Closed aszepieniec closed 11 months ago

aszepieniec commented 11 months ago

The snippet merkle_verify has a flawed negative test. It is decorated with #[should_panic] and verifies that the rust shadow panics. Problem is, it does not verify that the tasm code also crashes.

aszepieniec commented 11 months ago

Fixed in e2317816d40c495b2cf448eea73bfd67c884e9a4.