This information is used on the checker side to build Transition objects, representing the application simcalls. This explanation may not be crystal
clear, but the checker code is now much easier to work with as the formal logic is not spoiled with system-level tricks to retrieve the needed information.
This information is used on the checker side to build Transition objects, representing the application simcalls. This explanation may not be crystal
clear, but the checker code is now much easier to work with as the formal logic is not spoiled with system-level tricks to retrieve the needed information.