# Setting up the database
test: setup

# Adding a provenance table
test: add_provenance
test: remove_add_provenance

# Basic checks
test: provenance_in_from identify_token subquery create_provenance_mapping

# Introducing a few semirings
test: sr_formula sr_counting sr_boolean sr_why
test: security formula counting boolean

# Test of various ProvSQL features and SQL language capabilities
test: deterministic union_all union nested_union union_nary distinct group_by_provenance except null unsupported_features no_attribute resjunk values
test: cte
test: active
test: aggregation
test: agg_distinct agg_order_by agg_arithmetic
test: create_as
test: insert_select_provenance
test: no_zero_gate
test: having_on_aggregation
test: formula_on_having
test: where_on_aggregation
test: choose
test: empty_count

# Adding probabilities
test: probability_setup

# Adding descriptions
test: viewing_setup

# Probability computation using internal methods
test: possible_worlds monte_carlo

# Complex test relying on probabilities
test: sr_boolexpr probability_having probability_having_avg_min_max having_boolean_connectors

# Probability computation using external software
test: d4 dsharp weightmc c2d minic2d

# Probability computation using tree decompositions, independent
# probability computation, and default computation
test: treedec_simple treedec default_probability_evaluate independent repair_key
test: expected
test: large_circuit

# Expected Shapley and Banzhaf value computation
test: shapley
test: banzhaf

# Viewing circuit
test: view_circuit_multiple

# Tables with keywords as name
test: keyword_table

# Where-provenance
test: where_provenance

# Full example from tutorial
test: tutorial

# Grouping
test: group_by_empty

test: grouping_sets

# PROV export
test: to_provxml