public static void AddCaptureState(this BoogieStmtListBuilder builder, Statement statement) { if (DafnyOptions.O.ModelViewFile != null || DafnyOptions.O.TestGenOptions.WarnDeadCode) { builder.Add(CaptureState(statement)); } }
public static void AddCaptureState(this BoogieStmtListBuilder builder, Bpl.IToken tok, bool isEndToken, string /*?*/ additionalInfo) { if (DafnyOptions.O.ModelViewFile != null || DafnyOptions.O.TestGenOptions.WarnDeadCode) { builder.Add(CaptureState(tok, isEndToken, additionalInfo)); } }
private static void BplIfIf(Bpl.IToken tk, bool yes, Bpl.Expr guard, BoogieStmtListBuilder builder, Action <BoogieStmtListBuilder> k) { if (yes) { var newBuilder = new BoogieStmtListBuilder(builder.tran); k(newBuilder); builder.Add(new Bpl.IfCmd(tk, guard, newBuilder.Collect(tk), null, null)); } else { k(builder); } }