UniTO/anno3/vpc/consegne/3/3.9-Measures.solution/PT.ctl

3 lines
55 B
Text
Raw Permalink Normal View History

2020-05-08 19:23:51 +02:00
% MEASURE0
AG (#setTrue_Q==1 -> AF (#critical_Q == 1))