fix names for CI

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

Hide file tree

Showing 4 changed files with 9 additions and 6 deletions.
diff --git a/examples/java_crackme1/test_java_crackme1.py → examples/java_crackme1/solve.py b/examples/java_crackme1/test_java_crackme1.py → examples/java_crackme1/solve.py
@@ -30,11 +30,11 @@ def test_java_crackme1():
     assert res == b"W"
 
 
-def main():
+def test():
     test_java_crackme1()
 
 
 if __name__ == "__main__":
     logging.getLogger("angr.engines.soot.engine").setLevel("DEBUG")
     logging.getLogger("angr.factory").setLevel("DEBUG")
-    main()
+    test()
diff --git a/examples/java_simple3/test_java_simple3.py → examples/java_simple3/solve.py b/examples/java_simple3/test_java_simple3.py → examples/java_simple3/solve.py
@@ -20,10 +20,10 @@ def test_java_simple3():
     assert state.posix.stdin.concretize() == [b"b"]
 
 
-def main():
+def solve():
     test_java_simple3()
 
 if __name__ == "__main__":
     logging.getLogger("angr.engines.soot.engine").setLevel("DEBUG")
     logging.getLogger("angr.factory").setLevel("DEBUG")
-    main()
+    solve()
diff --git a/examples/java_simple4/test_java_simple4.py → examples/java_simple4/solve.py b/examples/java_simple4/test_java_simple4.py → examples/java_simple4/solve.py
@@ -24,10 +24,10 @@ def test_java_simple4():
     assert flag == b"F"
 
 
-def main():
+def solve():
     test_java_simple4()
 
 if __name__ == "__main__":
     logging.getLogger("angr.engines.soot.engine").setLevel("DEBUG")
     logging.getLogger("angr.factory").setLevel("DEBUG")
-    main()
+    solve()
diff --git a/tests/test_examples.py b/tests/test_examples.py
@@ -83,6 +83,9 @@ def test_unmapped_analysis(): exampletest_single('unmapped_analysis')
 @attr(speed='slow')
 def test_zwiebel(): exampletest_single('tumctf2016_zwiebel') # ~45m
 def test_csgames2018(): exampletest_single('csgames2018')
+def test_java_crackme1(): exampletest_single('java_crackme1')
+def test_java_simple3(): exampletest_single('java_simple3')
+def test_java_simple4(): exampletest_single('java_simple4')
 def test_ictf2017_javaisnotfun(): exampletest_single('ictf2017_javaisnotfun')
 def test_java_androidnative1(): exampletest_single('java_androidnative1')
 ## END EXAMPLE TESTS