I'm looking for information on how to access file and line number information from an Icarus target. I've looked through ivl_target.h and tgt-* and did some google searches but haven't found a reference. Looking through the source it appears that this info is there. But it isn't yet clear to me how to access it.
Hopefully I'm not overlooking the obvious but if anyone can point me in the right direction it would be greatly appreciated. thanks -M
