fix names for CI

saullocarvalho · Apr 15, 2019 · 795d81d · 795d81d
1 parent 11fc98b
commit 795d81d
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 8 deletions.
diff --git a/examples/ictf2017_javaisnotfun/solve.py b/examples/ictf2017_javaisnotfun/solve.py
@@ -177,6 +177,11 @@ def test_t2():
     assert solve_given_numbers_angr([50, 87, 10, 7, 3]) == [52, 262, 51219]
 
 
+def test():
+    test_t1()
+    test_t2()
+
+
 if __name__ == "__main__":
     import logging
     logging.getLogger('cle.backends.soot').setLevel('DEBUG')
@@ -186,5 +191,4 @@ def test_t2():
     logging.getLogger("angr.state_plugins").setLevel("INFO")
     logging.getLogger('angr.state_plugins.jni_references').setLevel("DEBUG")
     logging.getLogger('archinfo.arch_soot').setLevel("DEBUG")
-    test_t1()
-    test_t2()
+    test()
diff --git a/examples/java_androidnative1/solve.py b/examples/java_androidnative1/solve.py
@@ -49,11 +49,11 @@ def test_androidnative1():
     assert int_result == 221
 
 
-def main():
+def test():
     test_androidnative1()
 
 
 if __name__ == "__main__":
     import logging
     logging.getLogger("angr.engines.soot.engine").setLevel("DEBUG")
-    main()
+    test()
diff --git a/examples/java_simple3/solve.py b/examples/java_simple3/solve.py
@@ -6,6 +6,7 @@
 
 self_dir = os.path.dirname(os.path.realpath(__file__))
 
+
 def test_java_simple3():
     binary_path = os.path.join(self_dir, "simple3.jar")
     project = angr.Project(binary_path)
@@ -20,10 +21,11 @@ def test_java_simple3():
     assert state.posix.stdin.concretize() == [b"b"]
 
 
-def solve():
+def test():
     test_java_simple3()
 
+
 if __name__ == "__main__":
     logging.getLogger("angr.engines.soot.engine").setLevel("DEBUG")
     logging.getLogger("angr.factory").setLevel("DEBUG")
-    solve()
+    test()
diff --git a/examples/java_simple4/solve.py b/examples/java_simple4/solve.py
@@ -6,6 +6,7 @@
 
 self_dir = os.path.dirname(os.path.realpath(__file__))
 
+
 def test_java_simple4():
     binary_path = os.path.join(self_dir, "simple4.jar")
     project = angr.Project(binary_path)
@@ -24,10 +25,11 @@ def test_java_simple4():
     assert flag == b"F"
 
 
-def solve():
+def test():
     test_java_simple4()
 
+
 if __name__ == "__main__":
     logging.getLogger("angr.engines.soot.engine").setLevel("DEBUG")
     logging.getLogger("angr.factory").setLevel("DEBUG")
-    solve()
+    test()