C# (CSharp) Microsoft.Boogie CivlTypeChecker.IsTerminatingProcedureの例

コード例 #1

 private bool IsTerminatingCall(CallCmd call)
 {
     return(!IsRecursiveMoverProcedureCall(call) || civlTypeChecker.IsTerminatingProcedure(call.Proc));
 }