Skip to content

Development/robert2024 hielke adds daalder#51

Closed
hwalinga wants to merge 23 commits intoDevelopment/Robert2024from
Development/Robert2024-Hielke-adds-daalder
Closed

Development/robert2024 hielke adds daalder#51
hwalinga wants to merge 23 commits intoDevelopment/Robert2024from
Development/Robert2024-Hielke-adds-daalder

Conversation

@hwalinga
Copy link
Collaborator

No description provided.

@github-actions
Copy link

github-actions bot commented May 30, 2025

Unit Test Results (x64-linux)

  1 files    1 suites   0s ⏱️
 67 tests  67 ✅ 0 💤 0 ❌
807 runs  807 ✅ 0 💤 0 ❌

Results for commit 2a892fc.

♻️ This comment has been updated with latest results.

@github-actions
Copy link

github-actions bot commented May 30, 2025

Unit Test Results (x64-windows)

  1 files    1 suites   1s ⏱️
 67 tests  67 ✅ 0 💤 0 ❌
807 runs  807 ✅ 0 💤 0 ❌

Results for commit 2a892fc.

♻️ This comment has been updated with latest results.

if (added_traces.contains(r.pk)) {
bool ldot_algorithm::add_trace(inputdata& id, const sul_response& r) {
int pk = r.GET_ID();
if (my_sul->added_traces.contains(pk)) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you could write a contains() method in your sul to encapsulate the added_traces

return false;
}
added_traces.insert(r.pk);
my_sul->added_traces.insert(pk);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

see above

std::shared_ptr<sqldb_sul> my_sqldb_sul;

public:
explicit sqldb_sul_random_oracle(std::unique_ptr<sul_base>& sul) : base_oracle(sul) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why did explicit disappear here? And why was it there in the first place?

std::shared_ptr<sqldb_sul> my_sqldb_sul;

public:
explicit sqldb_sul_regex_oracle(std::unique_ptr<sul_base>& sul) : base_oracle(sul) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same as above

return sul_response();
}
auto rec = rec_maybe.value();
return sul_response(rec.type, rec.pk, std::move(rec.trace));
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you could summarize the above line with this one

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Which one?

@RobBa
Copy link
Contributor

RobBa commented Jun 1, 2025

Well done Hielke. I have a few minor comments (nitpicking), but that's a matter of a few minutes. You can merge then

@hwalinga
Copy link
Collaborator Author

Also merged with Development/robert2024

@hwalinga
Copy link
Collaborator Author

Merged with #55

@hwalinga hwalinga closed this Aug 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants