deepstate/tests/deepstate_base.py
2018-07-18 12:45:26 -07:00

14 lines
337 B
Python

from __future__ import print_function
from unittest import TestCase
class DeepStateTestCase(TestCase):
def test_angr(self):
self.run_deepstate("deepstate-angr")
def test_manticore(self):
self.run_deepstate("deepstate-manticore")
def run_deepstate(self, deepstate):
print("define an actual test of DeepState here.")