search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Add `{jvm,mir}_equal` commands #2151

Closed RyanGlScott closed 1 week ago

RyanGlScott commented 1 week ago

These mirror the existing llvm_equal command in the LLVM backend. I have factored out whatever code shared in common that I could.

Fixes https://github.com/GaloisInc/saw-script/issues/1998.

RyanGlScott commented 1 week ago

Looks like you forgot to add one of the test.sh files.

Oops! Good catch. I've added this now.

Is there anywhere in the docs that these should be added?

Indeed, these ought to be mentioned near the existing manual entry for llvm_equal. I've done so now.