Merge pull request #811 from crytic/dev-flat-ci

Add slither-flat to the CI

.github/workflows/ci.yml

@@ -21,18 +21,19 @@ jobs:
     strategy:
       matrix:
         type: ["cli",
-               "data_dependency", 
+               "data_dependency",
-               "embark", 
+               "embark",
-               "erc", 
+               "erc",
-               "etherlime", 
+               "etherlime",
-               "find_paths", 
+               "find_paths",
-               "kspec", 
+               "kspec",
-               "printers", 
+               "printers",
-               "simil", 
+               "simil",
-               "slither_config", 
+               "slither_config",
-               "truffle", 
+               "truffle",
                "upgradability",
-               "prop"]
+               "prop",
+               "flat"]
     steps:
     - uses: actions/checkout@v1
     - name: Set up Python 3.6

examples/flat/a.sol

@@ -0,0 +1,3 @@
+contract A{
+
+}

examples/flat/b.sol

@@ -0,0 +1,5 @@
+import "./a.sol";
+
+contract B is A{
+
+}

scripts/ci_test_flat.sh

@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+### Test slither-prop
+
+cd examples/flat || exit 1
+
+if ! slither-flat b.sol; then
+    echo "slither-flat failed"
+    exit 1
+fi
+
+exit 0