diff options
author | Heejin Ahn <aheejin@gmail.com> | 2021-12-29 21:44:07 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-29 21:44:07 -0800 |
commit | 6137b338c7fb37ba98b63c31225ec9cfda8cfa59 (patch) | |
tree | 5cf6f81fd9217e76160d486deb384dcbf77b0cf0 /scripts/embedwat.py | |
parent | ad723a19b018a786bcbec8d9e16160f30959e60e (diff) | |
download | binaryen-6137b338c7fb37ba98b63c31225ec9cfda8cfa59.tar.gz binaryen-6137b338c7fb37ba98b63c31225ec9cfda8cfa59.tar.bz2 binaryen-6137b338c7fb37ba98b63c31225ec9cfda8cfa59.zip |
Compare traps in ExecutionResults (#4405)
We used to only compare return values, and in #4369 we started comparing
whether an uncaught exception was thrown. This also adds whether a trap
occurred to `ExecutionResults`. So in `--fuzz-exec`, if a program with a
trap loses the trap or vice versa, it will error out saying the result
has changed, unless either of `--ignore-implicit-traps` or
`--trans-never-happen` is set.
Diffstat (limited to 'scripts/embedwat.py')
0 files changed, 0 insertions, 0 deletions