diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2025-11-25 15:59:08 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-25 15:59:08 -0300 |
| commit | 3f7cb91ef7ae44d3f641f2e77826965fcd0afeed (patch) | |
| tree | adb493947fe7c3ee511346c984f8046b4c48856e /rebar.config | |
| parent | 62a017ce95ad2f6d9445b5b96f7aeba3f7c0d42f (diff) | |
| download | Sakura-3f7cb91ef7ae44d3f641f2e77826965fcd0afeed.tar.gz Sakura-3f7cb91ef7ae44d3f641f2e77826965fcd0afeed.zip | |
Pseudo-REPL and sketch planner (#12)
Diffstat (limited to 'rebar.config')
| -rw-r--r-- | rebar.config | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/rebar.config b/rebar.config index e994dbf..0613ed8 100644 --- a/rebar.config +++ b/rebar.config @@ -7,7 +7,17 @@ {dialyzer, [ {plt_extra_apps, [merklet]}, - {warnings, [unknown]} + {warnings, [unknown]}, + {exclude_mods, [ + query_planner_test, + repl_comprehensive_test, + function_relations_test, + infinite_relations_test, + join_test, + operations_test, + provenance_test, + query_pipeline_test + ]} ]}. {edoc_opts, [ |