impossible_processes.pp « property « data - tabellion - Verification tool for VHDL (or at least the prototype of one).

summary refs log tree commit diff

path: root/data/property/impossible_processes.pp

blob: a13e0e5190a9abf49ce06203a2115e5f3e267993 (plain)

1 2	`The process $ps.LABEL$ (from file $ps.FILE$, line $ps.LINE$, column $ps.COLUMN$) does not write anything and is thus unlikely to have any effect.`