search

GaloisInc / saw-script

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

Add a test_mir_unsound_global #2146

Closed sauclovian-g closed 1 week ago

sauclovian-g commented 1 week ago

Related to #1960 and #1982.