Commit e5d61e0f authored by Bouillaguet Quentin's avatar Bouillaguet Quentin Committed by David Bühler
Browse files

[Eva] Traces domain: Add traces tests to Makefile

parent 5b070c94
......@@ -816,6 +816,7 @@ PLUGIN_DIR:=src/plugins/value
PLUGIN_EXTRA_DIRS:=engine values domains domains/cvalue domains/apron \
domains/gauges domains/equality legacy slevel utils gui_files \
values/numerors domains/numerors domains/traces
PLUGIN_TESTS_DIRS+=value/traces
# Files for the binding to Apron domains. Only available if Apron is available.
ifeq ($(HAS_APRON),yes)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment