diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2019-12-02 15:05:03 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2019-12-12 16:17:09 +0000 |
| commit | ebd3eb0ec11b053ddf5eee44c1217436948279d9 (patch) | |
| tree | 640f1a1832b9ae6b4b18fd4815379df4614f2f93 /test/ArrayOpt | |
| parent | 0de67b9f0c3f7f331f873f19561aef311d2bed4a (diff) | |
| download | klee-ebd3eb0ec11b053ddf5eee44c1217436948279d9.tar.gz | |
[Searchers] Remove weight from es, add nurs_depth
Having both weight and depth in execution state is wasteful, therefore this patch removes weight. The nurs:depth searcher is replaced by nurs:rp, which uses pow to compute the weight A new nurs:depth searcher is introduced that biases the search with depth, making it the only other searcher that prefers to go deep (similar to dfs).
Diffstat (limited to 'test/ArrayOpt')
0 files changed, 0 insertions, 0 deletions