diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-12-14 22:15:57 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-01-12 12:00:35 +0000 |
| commit | 2c8b74cc858793c94e5476b5765e93ee23738702 (patch) | |
| tree | 8d4005084ef0ae0f2d7eb72333855e15526ace25 /test | |
| parent | 5ca8f5a020cca251a0d5d08bc855bf945735c1af (diff) | |
| download | klee-2c8b74cc858793c94e5476b5765e93ee23738702.tar.gz | |
Rename files from PTree to ExecutionTree (and similar)
Diffstat (limited to 'test')
| -rw-r--r-- | test/Feature/KleeExecTreeBogus.test (renamed from test/Feature/KleePtreeBogus.test) | 0 | ||||
| -rw-r--r-- | test/Feature/WriteExecutionTree.c (renamed from test/Feature/WritePtree.c) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/duplicated_node.csv (renamed from test/Feature/ptree-dbs/duplicated_node.csv) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/empty_db.csv (renamed from test/Feature/ptree-dbs/empty_db.csv) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/invalid_btype.csv (renamed from test/Feature/ptree-dbs/invalid_btype.csv) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/invalid_ttype.csv (renamed from test/Feature/ptree-dbs/invalid_ttype.csv) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/loop.csv (renamed from test/Feature/ptree-dbs/loop.csv) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/missing_after_max.csv (renamed from test/Feature/ptree-dbs/missing_after_max.csv) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/missing_before_max.csv (renamed from test/Feature/ptree-dbs/missing_before_max.csv) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/node_id0.csv (renamed from test/Feature/ptree-dbs/node_id0.csv) | 0 | ||||
| -rw-r--r-- | test/Feature/exec-tree-dbs/not_a.db (renamed from test/Feature/ptree-dbs/not_a.db) | 0 |
11 files changed, 0 insertions, 0 deletions
diff --git a/test/Feature/KleePtreeBogus.test b/test/Feature/KleeExecTreeBogus.test index 11fe87c8..11fe87c8 100644 --- a/test/Feature/KleePtreeBogus.test +++ b/test/Feature/KleeExecTreeBogus.test diff --git a/test/Feature/WritePtree.c b/test/Feature/WriteExecutionTree.c index e7bf59ce..e7bf59ce 100644 --- a/test/Feature/WritePtree.c +++ b/test/Feature/WriteExecutionTree.c diff --git a/test/Feature/ptree-dbs/duplicated_node.csv b/test/Feature/exec-tree-dbs/duplicated_node.csv index 7882b911..7882b911 100644 --- a/test/Feature/ptree-dbs/duplicated_node.csv +++ b/test/Feature/exec-tree-dbs/duplicated_node.csv diff --git a/test/Feature/ptree-dbs/empty_db.csv b/test/Feature/exec-tree-dbs/empty_db.csv index 4dac8a17..4dac8a17 100644 --- a/test/Feature/ptree-dbs/empty_db.csv +++ b/test/Feature/exec-tree-dbs/empty_db.csv diff --git a/test/Feature/ptree-dbs/invalid_btype.csv b/test/Feature/exec-tree-dbs/invalid_btype.csv index 01ee428c..01ee428c 100644 --- a/test/Feature/ptree-dbs/invalid_btype.csv +++ b/test/Feature/exec-tree-dbs/invalid_btype.csv diff --git a/test/Feature/ptree-dbs/invalid_ttype.csv b/test/Feature/exec-tree-dbs/invalid_ttype.csv index 0d185bee..0d185bee 100644 --- a/test/Feature/ptree-dbs/invalid_ttype.csv +++ b/test/Feature/exec-tree-dbs/invalid_ttype.csv diff --git a/test/Feature/ptree-dbs/loop.csv b/test/Feature/exec-tree-dbs/loop.csv index 4fc2b9f2..4fc2b9f2 100644 --- a/test/Feature/ptree-dbs/loop.csv +++ b/test/Feature/exec-tree-dbs/loop.csv diff --git a/test/Feature/ptree-dbs/missing_after_max.csv b/test/Feature/exec-tree-dbs/missing_after_max.csv index 16e99a35..16e99a35 100644 --- a/test/Feature/ptree-dbs/missing_after_max.csv +++ b/test/Feature/exec-tree-dbs/missing_after_max.csv diff --git a/test/Feature/ptree-dbs/missing_before_max.csv b/test/Feature/exec-tree-dbs/missing_before_max.csv index 2131ea56..2131ea56 100644 --- a/test/Feature/ptree-dbs/missing_before_max.csv +++ b/test/Feature/exec-tree-dbs/missing_before_max.csv diff --git a/test/Feature/ptree-dbs/node_id0.csv b/test/Feature/exec-tree-dbs/node_id0.csv index 51a31e49..51a31e49 100644 --- a/test/Feature/ptree-dbs/node_id0.csv +++ b/test/Feature/exec-tree-dbs/node_id0.csv diff --git a/test/Feature/ptree-dbs/not_a.db b/test/Feature/exec-tree-dbs/not_a.db index d81cc071..d81cc071 100644 --- a/test/Feature/ptree-dbs/not_a.db +++ b/test/Feature/exec-tree-dbs/not_a.db |