feliam 3b57c0d502 Fix context serialization (#425) ...

* Fix context serialization

* Fix test models.  Can not set a state constraints

* typo

* A few typos (constraints setter) and use of public properties in internal methods

* State __init__ needs to initialize platform constraints

* Internal methods use internal properties

* test_record_branches removed

2017-08-01 14:08:54 -03:00

..

auto

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

binaries

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

memdumps

Fix memdump tests broken by dev-events (#377)

2017-07-12 18:11:08 -04:00

reference

Remove md5 tests and replace with set comparison (#374)

2017-07-07 15:43:52 -04:00

__init__.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

mockmem.py

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00

test_abi.py

Dev - events (#341)

2017-06-26 18:06:18 -03:00

test_allinsts.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_armv7_bitwise.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_armv7cpu.py

lsl.w in thumb mode fixed, plus tests (#350)

2017-06-27 13:52:20 -05:00

test_armv7rf.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_binaries.py

Pub-sub like events (#371)

2017-07-27 19:41:08 -03:00

test_cpu_automatic.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_cpu_manual.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_driver.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_dyn.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_events.py

Pub-sub like events (#371)

2017-07-27 19:41:08 -03:00

test_linux.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_manticore.py

New state serialization (#376)

2017-07-12 17:50:24 -04:00

test_memdumps.py

create workspace before running manticore to make memdump tests pass (#388)

2017-07-13 13:57:18 -04:00

test_memory.py

Catch and refactor MemoryExceptions (#370)

2017-06-30 17:47:55 -04:00

test_models.py

Fix context serialization (#425)

2017-08-01 14:08:54 -03:00

test_register.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_slam_regre.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_smtlibv2.py

added _multiprocess_can_split_ directive (#351)

2017-06-23 17:53:19 -04:00

test_state.py

Fix context serialization (#425)

2017-08-01 14:08:54 -03:00

test_unicorn.py

Dev - events (#341)

2017-06-26 18:06:18 -03:00

test_workspace.py

Pub-sub like events (#371)

2017-07-27 19:41:08 -03:00