Merge branch 'js/summarised-tt-store-steps' into js/vea-hacking

This commit is contained in:
Asger F
2024-03-01 20:26:46 +01:00

View File

@@ -78,7 +78,7 @@ private module Cached {
}
/**
* Holds if `loadProp` of `parameter` is stored in the `storeProp` property of the return value of `fun`.
* Holds if `loadProp` of `param` is stored in the `storeProp` property of the return value of `fun`.
*/
pragma[nomagic]
private predicate summarizedLoadStoreStep(