search

GaloisInc / saw-script

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

Don't fail when What4 sends us a function-based array in a result. #2121

Closed sauclovian-g closed 2 weeks ago

sauclovian-g commented 2 weeks ago

(see commit for description)

Fixes #2120.

sauclovian-g commented 2 weeks ago

(force-pushed to squash)