private Block CreateNoninterferenceCheckerBlock()
{
var newCmds = new List <Cmd>();
newCmds.AddRange(noninterferenceInstrumentation.CreateCallToYieldProc());
newCmds.Add(new AssumeCmd(Token.NoToken, Expr.False));
return(new Block(Token.NoToken, civlTypeChecker.AddNamePrefix("NoninterferenceChecker"), newCmds, new ReturnCmd(Token.NoToken)));
}
private Block CreateNoninterferenceCheckerBlock()
{
var newCmds = new List <Cmd>();
newCmds.AddRange(noninterferenceInstrumentation.CreateCallToYieldProc());
newCmds.Add(CmdHelper.AssumeCmd(Expr.False));
return(BlockHelper.Block(civlTypeChecker.AddNamePrefix("NoninterferenceChecker"), newCmds));
}