2 lines
55 B
Text
Executable file
2 lines
55 B
Text
Executable file
% MEASURE0
|
|
AG (#setTrue_Q==1 -> AF (#critical_Q == 1))
|