RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard

Published 20 hours ago • verified publisher icon AdaCore

Statically determine field locations in message model

Open treiher opened this issue 2 years ago • 0 comments

Design idea

  • Store for each field one or multiple tuples of path condition and statically determined field location

treiher avatar Oct 11 '22 12:10 treiher