Skip to content
This repository has been archived by the owner on Mar 24, 2022. It is now read-only.

Fix veriwasm fuzzing script #671

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Commits on Aug 25, 2021

  1. Fix veriwasm fuzzing script

    To the best of my knowledge, the current veriwasm fuzzing script will not actually report an error when veriwasm fails to verify the compiled code. This is because the fuzz_target! harness will only catch panics, and the script does not panic on error. This change will make the script panic on verification failure. I'm not super familiar with using libfuzzer in rust, so if this is a mistake let me know.
    enjhnsn2 authored Aug 25, 2021
    Configuration menu
    Copy the full SHA
    65bb38d View commit details
    Browse the repository at this point in the history