Skip to main content

testing.installed_engines()

The engines of sverify.engines.ENGINES that can run here: DuckDB

Usage

Source

testing.installed_engines()

always, Polars and DataFusion when their extras are installed.

Returns

tuple[str, …]
Engine names, in the order of ENGINES.