16 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	55096a31f2	Rust: add Cargo.lock files to all tests with cargo check	2025-06-16 10:52:53 +02:00
Paolo Tranquilli	3d38d77d63	Rust: accept dummy test output	2025-05-14 11:41:17 +02:00
Paolo Tranquilli	f5438390d5	Rust: enhance macro expansion testing	2025-05-14 10:01:44 +02:00
Michael Nebel	cbae2cf7fa	Rust: Move test utilities into the query pack.	2024-12-12 13:54:42 +01:00
Tom Hvitved	2f8b04b225	Rust: Models-as-data for flow summaries	2024-12-09 13:41:55 +01:00
Simon Friis Vindum	d30f3e2822	Rust: Renamed expr on CallExpr and LetExpr	2024-11-26 15:22:14 +01:00
Tom Hvitved	e6887f982e	Rust: Use nodes from CfgNodes.qll in DataFlowImpl.qll	2024-11-21 10:21:13 +01:00
Simon Friis Vindum	0e025abd13	Rust: Add custom toString predicate for path expression	2024-11-18 09:09:03 +01:00
Simon Friis Vindum	7cb9d07f59	Rust: Fix default source and sink in inline flow test	2024-11-15 11:59:48 +01:00
Simon Friis Vindum	d9d3027667	Rust: Make improvements to getArgString based on PR comments	2024-11-12 09:45:33 +01:00
Simon Friis Vindum	cd2038a8f8	Rust: Setup inline flow test library	2024-11-11 16:41:59 +01:00
Tom Hvitved	dd520fea47	Rust: Post-processing query for inline test expectations	2024-10-29 13:37:04 +01:00
Tom Hvitved	1266f9757d	Rust: Add {BreakExpr,ContinueExpr}.getTarget()	2024-10-02 15:45:16 +02:00
Tom Hvitved	000dedf3e8	Rust: Output CFG for library-tests/variables	2024-10-02 15:45:14 +02:00
Tom Hvitved	a172063e6a	Rust: Document VariableOrAccessCand	2024-10-01 13:38:18 +02:00
Tom Hvitved	a282efc43e	Rust: Add inline test expectations library	2024-10-01 09:50:05 +02:00