Example #1
0
        public static BoogieStmtList MakeSingletonStmtList(BoogieCmd cmd)
        {
            BoogieStmtList stmtList = new BoogieStmtList();

            stmtList.BigBlocks[0].AddStatement(cmd);
            return(stmtList);
        }
Example #2
0
 public void AddStatement(BoogieCmd statement)
 {
     SimpleCmds.Add(statement);
 }
Example #3
0
 public void AddStatement(BoogieCmd cmd)
 {
     Debug.Assert(BigBlocks.Count == 1);
     BigBlocks[0].AddStatement(cmd);
 }