diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2021-12-21 13:59:30 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-01-05 22:36:54 +0000 |
| commit | 27cfe79c1867ece6edf0c4a4bfcbdecf01020774 (patch) | |
| tree | 08b204208a9b29efd114ae8d4d201519d5180869 /unittests/Searcher | |
| parent | 62e27ff8cad97c12f3051a5fdcf8cd4aade96894 (diff) | |
| download | klee-27cfe79c1867ece6edf0c4a4bfcbdecf01020774.tar.gz | |
introduce BranchTypes
Diffstat (limited to 'unittests/Searcher')
| -rw-r--r-- | unittests/Searcher/SearcherTest.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/unittests/Searcher/SearcherTest.cpp b/unittests/Searcher/SearcherTest.cpp index eff5a8af..0a7c8797 100644 --- a/unittests/Searcher/SearcherTest.cpp +++ b/unittests/Searcher/SearcherTest.cpp @@ -37,7 +37,7 @@ TEST(SearcherTest, RandomPath) { // Two states ExecutionState es1(es); - processTree.attach(es.ptreeNode, &es1, &es); + processTree.attach(es.ptreeNode, &es1, &es, BranchType::NONE); rp.update(&es, {&es1}, {}); // Random path seed dependant @@ -68,7 +68,7 @@ TEST(SearcherTest, TwoRandomPath) { root.ptreeNode = processTree.root.getPointer(); ExecutionState es(root); - processTree.attach(root.ptreeNode, &es, &root); + processTree.attach(root.ptreeNode, &es, &root, BranchType::NONE); RNG rng, rng1; RandomPathSearcher rp(processTree, rng); @@ -83,7 +83,7 @@ TEST(SearcherTest, TwoRandomPath) { // Two states ExecutionState es1(es); - processTree.attach(es.ptreeNode, &es1, &es); + processTree.attach(es.ptreeNode, &es1, &es, BranchType::NONE); rp.update(&es, {}, {}); rp1.update(nullptr, {&es1}, {}); @@ -127,7 +127,7 @@ TEST(SearcherTest, TwoRandomPathDot) { rootPNode = root.ptreeNode; ExecutionState es(root); - processTree.attach(root.ptreeNode, &es, &root); + processTree.attach(root.ptreeNode, &es, &root, BranchType::NONE); rightLeafPNode = root.ptreeNode; esParentPNode = es.ptreeNode; @@ -138,7 +138,7 @@ TEST(SearcherTest, TwoRandomPathDot) { rp.update(nullptr, {&es}, {}); ExecutionState es1(es); - processTree.attach(es.ptreeNode, &es1, &es); + processTree.attach(es.ptreeNode, &es1, &es, BranchType::NONE); esLeafPNode = es.ptreeNode; es1LeafPNode = es1.ptreeNode; |