added a new test case for strong updates

tim-hoffman · May 6, 2014 · 53214cd · 53214cd
1 parent f8b3c4c
commit 53214cd
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/test/soot/jimple/infoflow/android/test/otherAPKs/JUnitTests.java b/test/soot/jimple/infoflow/android/test/otherAPKs/JUnitTests.java
@@ -74,7 +74,16 @@ public InfoflowResults analyzeAPKFile(String fileName, boolean enableImplicitFlo
 	public void runTest1() throws IOException, XmlPullParserException {
 		InfoflowResults res = analyzeAPKFile
 				("testAPKs/9458cfb51c90130938abcef7173c3f6d44a02720.apk", false, false, false);
+		Assert.assertNotNull(res);
 		Assert.assertTrue(res.size() > 0);
 	}
 
+	@Test
+	public void runTest2() throws IOException, XmlPullParserException {
+		InfoflowResults res = analyzeAPKFile
+				("testAPKs/enriched1.apk", false, false, false);
+		Assert.assertNotNull(res);
+		Assert.assertEquals(2, res.size());
+	}
+
 }
diff --git a/testAPKs/enriched1.apk b/testAPKs/enriched1.apk