remove tests for Verilog Translator from project
Detected in build:
Published in build:
Now all the benchmarks (Texas97, VCEGAR, Verilog2SMV/VIS) are added to Verilog Translator project and used there as tests.
In this project we should concentrate on tests for Retrascope.