diff options
Diffstat (limited to 'Source/AbsInt/IntervalDomain.cs')
-rw-r--r-- | Source/AbsInt/IntervalDomain.cs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Source/AbsInt/IntervalDomain.cs b/Source/AbsInt/IntervalDomain.cs index c024a62a..0e095c44 100644 --- a/Source/AbsInt/IntervalDomain.cs +++ b/Source/AbsInt/IntervalDomain.cs @@ -658,7 +658,7 @@ namespace Microsoft.Boogie.AbstractInterpretation public override Expr VisitNAryExpr(NAryExpr node) {
if (node.Fun is UnaryOperator) {
var op = (UnaryOperator)node.Fun;
- Contract.Assert(node.Args.Length == 1);
+ Contract.Assert(node.Args.Count == 1);
if (op.Op == UnaryOperator.Opcode.Neg) {
BigInteger? lo, hi;
VisitExpr(node.Args[0]);
@@ -681,7 +681,7 @@ namespace Microsoft.Boogie.AbstractInterpretation }
} else if (node.Fun is BinaryOperator) {
var op = (BinaryOperator)node.Fun;
- Contract.Assert(node.Args.Length == 2);
+ Contract.Assert(node.Args.Count == 2);
BigInteger? lo0, hi0, lo1, hi1;
VisitExpr(node.Args[0]);
lo0 = Lo; hi0 = Hi;
@@ -837,7 +837,7 @@ namespace Microsoft.Boogie.AbstractInterpretation }
} else if (node.Fun is IfThenElse) {
var op = (IfThenElse)node.Fun;
- Contract.Assert(node.Args.Length == 3);
+ Contract.Assert(node.Args.Count == 3);
BigInteger? guardLo, guardHi, lo0, hi0, lo1, hi1;
VisitExpr(node.Args[0]);
guardLo = Lo; guardHi = Hi;
@@ -1037,7 +1037,7 @@ namespace Microsoft.Boogie.AbstractInterpretation public override Expr VisitNAryExpr(NAryExpr node) {
if (node.Fun is BinaryOperator) {
var op = (BinaryOperator)node.Fun;
- Contract.Assert(node.Args.Length == 2);
+ Contract.Assert(node.Args.Count == 2);
var arg0 = node.Args[0];
var arg1 = node.Args[1];
BigInteger? k;
|