diff options
Diffstat (limited to 'test/unit/expr/node_black.h')
-rw-r--r-- | test/unit/expr/node_black.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h index 17657683d..23d1daf4e 100644 --- a/test/unit/expr/node_black.h +++ b/test/unit/expr/node_black.h @@ -423,10 +423,10 @@ public: #endif /* CVC4_ASSERTIONS */ } - void testNaryExpForSize(Kind k, int N) { + void testNaryExpForSize(Kind k, unsigned N) { NodeBuilder<> nbz(k); Node trueNode = d_nodeManager->mkConst(true); - for(int i = 0; i < N; ++i) { + for(unsigned i = 0; i < N; ++i) { nbz << trueNode; } Node result = nbz; @@ -452,7 +452,7 @@ public: srand(0); int trials = 500; for(int i = 0; i < trials; ++i) { - int N = rand() % 1000 + 2; + unsigned N = rand() % 1000 + 2; testNaryExpForSize(AND, N); } |