Skip to content

Added SAT check of transition guard

Hernan Ponce de Leon requested to merge 3664 into master

Issue-Ref: 3664 Signed-off-by: ponce ponce@fortiss.org

Merge request reports