Crate bench_utils 

Macros used to generate programs for Flowistry’s benchmarks

Macros

generate_flow

Assigns to a “main” variable and repeatedly creates temporary variables which use the “main” variable as an input. Each temporary uses its value to assign back to the “main” variable, generating infoflow between each temporary. For example:

generate_locations

Repeatedly assigns to a variable to increase the number of locations while keeping the number of places constant. For example:

generate_nested_struct

Creates a struct with deeply-nested fields. For example:

generate_places

Creates a struct with many fields, generating many places while keeping the number of locations constant. For example:

generate_same_lifetime

Creates a struct with many fields, each having the type &'a <type>, creating many places with one lifetime. For example:

generate_unique_lifetimes

Repeatedly borrows the same variable to create many places, locations, and lifetimes. For example: