05f5fcf045
* Initial moving * Initial package __init__.py * Use relative imports * Correct imports for tests * Rename main.py -> __main__.py * Use relative imports in main * Refactor cli to be used with setuptools * Add basic setup.py * Fix test_memory import * Fix test_cpu_manual imports * Correct iterpickle import * Use manticore console_script installed by setuptools * Make travis install our package for integration cli tests * Refactor model hooks dynamic import for being in pkg * Correct import * Rm empty line * Fix coverage test paths
38 lines
812 B
Python
38 lines
812 B
Python
|
|
import unittest
|
|
import sys
|
|
import shutil
|
|
import tempfile
|
|
import os
|
|
import hashlib
|
|
import subprocess
|
|
import collections
|
|
import time
|
|
|
|
from manticore import Manticore, issymbolic
|
|
from manticore.core.smtlib import BitVecVariable
|
|
|
|
class ManticoreDriver(unittest.TestCase):
|
|
def setUp(self):
|
|
# Create a temporary directory
|
|
self.test_dir = tempfile.mkdtemp()
|
|
|
|
def tearDown(self):
|
|
# Remove the directory after the test
|
|
shutil.rmtree(self.test_dir)
|
|
|
|
|
|
def testCreating(self):
|
|
m = Manticore('/bin/ls')
|
|
m.log_debug = False
|
|
m.log_file = '/dev/null'
|
|
|
|
def test_issymbolic(self):
|
|
v = BitVecVariable(32, 'sym')
|
|
self.assertTrue(issymbolic(v))
|
|
|
|
def test_issymbolic_neg(self):
|
|
v = 1
|
|
self.assertFalse(issymbolic(v))
|
|
|