hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: regenerate models

Browse Source 
Models are regenerated with the fix from https://github.com/github/codeql/pull/19744
which corrects the order of generation.
This commit is contained in:
Paolo Tranquilli
2025-06-13 09:06:15 +02:00
parent 55eb9fb838
commit 118456d127
18 changed files with 855 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
rust/ql/lib/ext/generated/rand/repo-https-github.com-rust-random-rand-rand.model.yml
View File

@@ -20,6 +20,7 @@ extensions:
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::total_weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::total_weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::update_weights", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight]", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::cumulative_weights].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::weights", "Argument[self]", "ReturnValue.Field[rand::distr::weighted::weighted_index::WeightedIndexIter::weighted_index]", "value", "dfc-generated"]