added small overflow test

Author: gustavo-grieco

src/test/Spec.hs

@@ -1,5 +1,4 @@
 {-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE NamedFieldPuns #-}
 
 import Test.Tasty (defaultMain, testGroup)
 import System.Directory (withCurrentDirectory)
@@ -11,6 +10,7 @@ import Tests.Config (configTests)
 import Tests.Encoding (encodingJSONTests)
 import Tests.Integration (integrationTests)
 import Tests.Optimization (optimizationTests)
+import Tests.Overflow (overflowTests)
 import Tests.Research (researchTests)
 import Tests.Values (valuesTests)
 import Tests.Seed (seedTests)
@@ -27,6 +27,7 @@ main = withCurrentDirectory "./tests/solidity" . defaultMain $
            , coverageTests
            , abiv2Tests
            , assertionTests
+           , overflowTests
            , optimizationTests
            , researchTests
            , encodingJSONTests

src/test/Tests/Overflow.hs

@@ -0,0 +1,12 @@
+module Tests.Overflow (overflowTests) where
+
+import Test.Tasty (TestTree, testGroup)
+
+import Common (testContractV, solcV, solvedUsing)
+
+overflowTests :: TestTree
+overflowTests = testGroup "Overflow-based Integration Testing"
+  [ 
+    testContractV "overflow/overflow.sol" (Just (\v -> v >= solcV (0,8,0))) (Just "overflow/config.yaml")
+      [ ("f passed", solvedUsing "f" "Integer (over/under)flow") ] 
+  ]

tests/solidity/overflow/config.yaml

@@ -0,0 +1 @@
+testMode: overflow

tests/solidity/overflow/overflow.sol

@@ -0,0 +1,5 @@
+contract Test {
+  function f(uint x) public {
+    type(uint256).max + x;
+  }  
+}