leondz / cavat

Automatically exported from code.google.com/p/cavat
3 stars 1 forks source link

Extend consistency check module #68

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
The following cases should generate an error:
- TLINK referencing non-existent signals;
- SIGNALs referenced by nothing

Original issue reported on code.google.com by leonderczynski on 19 Oct 2010 at 7:47