diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 65f49b685..1643eb161 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,18 +21,19 @@ jobs:
     strategy:
       matrix:
         type: ["cli",
-               "data_dependency", 
-               "embark", 
-               "erc", 
-               "etherlime", 
-               "find_paths", 
-               "kspec", 
-               "printers", 
-               "simil", 
-               "slither_config", 
-               "truffle", 
+               "data_dependency",
+               "embark",
+               "erc",
+               "etherlime",
+               "find_paths",
+               "kspec",
+               "printers",
+               "simil",
+               "slither_config",
+               "truffle",
                "upgradability",
-               "prop"]
+               "prop",
+               "flat"]
     steps:
     - uses: actions/checkout@v1
     - name: Set up Python 3.6
diff --git a/examples/flat/a.sol b/examples/flat/a.sol
new file mode 100644
index 000000000..d252e04ba
--- /dev/null
+++ b/examples/flat/a.sol
@@ -0,0 +1,3 @@
+contract A{
+
+}
diff --git a/examples/flat/b.sol b/examples/flat/b.sol
new file mode 100644
index 000000000..74b4d78ce
--- /dev/null
+++ b/examples/flat/b.sol
@@ -0,0 +1,5 @@
+import "./a.sol";
+
+contract B is A{
+
+}
diff --git a/scripts/ci_test_flat.sh b/scripts/ci_test_flat.sh
new file mode 100755
index 000000000..e3a837a03
--- /dev/null
+++ b/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