diff --git a/src/test/scala/leon/test/testcases/TestCasesCompile.scala b/src/test/scala/leon/test/testcases/TestCasesCompile.scala
index c6aad47dbb439be9714c36136997fdf43d379c8d..42d6dbb0cee8ee22e091bcfaaf124101e4bc6ef8 100644
--- a/src/test/scala/leon/test/testcases/TestCasesCompile.scala
+++ b/src/test/scala/leon/test/testcases/TestCasesCompile.scala
@@ -50,4 +50,7 @@ class TestCasesCompile extends LeonTestSuite {
   forEachFileIn(baseDir+"verification/") { f =>
     testFrontend(f, slashes)
   }
+  forEachFileIn(baseDir+"web/") { f =>
+    testFrontend(f, slashes)
+  }
 }