public MkSignExt ( uint i, |
||
i | uint | |
t | ||
Résultat |
public void Run() { Dictionary<string, string> cfg = new Dictionary<string, string>() { { "AUTO_CONFIG", "true" } }; Context ctx = new Context(cfg); BitVecExpr b = ctx.MkBVConst("b", 16); Console.WriteLine(ctx.MkExtract(12, 2, b)); Console.WriteLine(ctx.MkSignExt(10, b)); Console.WriteLine(ctx.MkZeroExt(10, b)); Console.WriteLine(ctx.MkRepeat(3, b)); }