AaronPo/the-biergarten-app
1
0
Fork 0
mirror of https://github.com/aaronpo97/the-biergarten-app.git synced 2026-10-15 18:14:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add sqlite load into Database.Seed

Browse Source
This commit is contained in:
Aaron Po
2026-07-20 00:55:21 -04:00
parent 3154c2feed
commit 5b2eceb6b8
15 changed files with 298 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
tooling/pipeline/src/services/xeger/xeger_generator.cc
View File

@@ -54,11 +54,11 @@ void XegerGenerator::Visit(const Alternation& node) {
}
void XegerGenerator::Visit(const Repeat& node) {
const int lo = node.min;
const int hi = (node.max < 0) ? node.min + unbounded_cap_ : node.max;
std::uniform_int_distribution<int> dist(lo, hi);
const int count = dist(rng_);
for (int i = 0; i < count; ++i) {
const unsigned int low = node.min;
const unsigned int high = node.max.value_or(node.min + unbounded_cap_);
std::uniform_int_distribution<unsigned int> dist(low, high);
const unsigned int count = dist(rng_);
for (unsigned int i = 0; i < count; ++i) {
node.child->Accept(*this);
}
}