Closed tothtamas28 closed 6 months ago
Related: https://github.com/runtimeverification/hs-backend-booster/issues/569#issuecomment-2036847940
Updates IMP to handle Map lookups the same way it is done in the Booster test suite, which significantly improves execution time for the Booster.
IMP
Map
Related: https://github.com/runtimeverification/hs-backend-booster/issues/569#issuecomment-2036847940
Updates
IMP
to handleMap
lookups the same way it is done in the Booster test suite, which significantly improves execution time for the Booster.