Boyan MILANOV 6212a7a513 Optimise forking when there is only 1 solution (#2527) ...

* Optimise forking when there is only 1 solution

* Update etherum test

* Add test for forking on a unique solution

* Replace strlen test with dedicated fork test

* Fix typo

* Fix output filename in test

2022-02-17 10:18:57 -08:00

..

utils

Allow double-adding exact same config option (#2397)

2021-03-09 08:39:19 -05:00

__init__.py

Blacken Manticore (#1438)

2019-05-23 15:19:24 -05:00

test_fork.py

Optimise forking when there is only 1 solution (#2527)

2022-02-17 10:18:57 -08:00

test_locking.py

Blacken (#1711)

2020-05-18 16:49:08 -07:00

test_smtlibv2.py

Fix BitVecExtract simplification for constant folding (#2524)

2022-01-20 18:07:53 +01:00

test_state_introspection.py

State Introspection API (#1775)

2020-09-09 08:32:46 -07:00

test_tui_api.py

Attempt to Fix solc Installation MacOS (#2392)

2021-03-01 13:23:45 -05:00