C# (CSharp) Microsoft.Boogie CivlTypeChecker.IsTerminatingProcedure Beispiele

Beispiel #1

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