diff --git a/Makefile b/Makefile index f8d7365..4f189da 100644 --- a/Makefile +++ b/Makefile @@ -74,6 +74,19 @@ test: build/fold.so echo -e "\e[32mOK\e[0m"; \ fi \ done + @echo "Import feasibility test" + @for testcase in tests/import_feasibility/*.fold; \ + do \ + echo -n "$${testcase}... "; \ + if ! $(YOSYS) -m $(TARGET_PLUGIN_LIB) -m fold.logic.frontend.py -p "read_fold $${testcase}; fold_synth;" 1>/dev/null 2>&1; then \ + echo -e "\e[31mFAIL\e[0m"; \ + echo -e "Testcase \e[1m$${testcase}\e[0m failed"; \ + $(YOSYS) -m $(TARGET_PLUGIN_LIB) -m fold.logic.frontend.py -p "read_fold $${testcase}; fold_synth;"; \ + else \ + echo -e "\e[32mOK\e[0m"; \ + fi \ + done + COVERAGE_ARGS = --rcfile=coverage.rc --branch --append --data-file build/python.coverage frontend_coverage: