Added 'basic_tests/verific_test' test case into regression tests suite.
@@ -120,6 +120,9 @@ run-task basic_tests/global_tile_ports/global_tile_clock --debug --show_thread_l
run-task basic_tests/global_tile_ports/global_tile_reset --debug --show_thread_logs
run-task basic_tests/global_tile_ports/global_tile_4clock --debug --show_thread_logs
+echo -e "Testing configuration chain of a K4N4 FPGA using .blif generated by yosys+verific";
+run-task basic_tests/verific_test --debug --show_thread_logs
+
# Repgression test to test multi-user enviroment
cp -r */*/basic_tests/full_testbench/configuration_chain /tmp/
cd /tmp/ && run-task configuration_chain --debug --show_thread_logs
