Merge pull request #1416 from crytic/flaky-tests

Reduce test flakiness

Author: elopez

tests/solidity/dapptest/config.yaml

@@ -1,4 +1,4 @@
 testMode: dapptest
-testLimit: 1000
+testLimit: 5000
 shrinkLimit: 100
 seqLen: 1

tests/solidity/values/now.sol

@@ -3,11 +3,12 @@ contract C {
   uint time;
 
   function set() public {
-    time = block.timestamp;
+    if (time == 0)
+      time = block.timestamp;
   }
 
   function guess(uint x) public {
-    if (x <= time + 4 weeks && x >= time - 4 weeks )
+    if (time > 0 && x <= time + 4 weeks && x >= time - 4 weeks )
       state = true;
   }