|
|
1.1 ! root 1: reading symbolic information ... ! 2: includes.v ! 3: includes.p ! 4: var p : includes.T; ! 5: included.T includes.T ! 6: type T = record ! 7: a : integer; ! 8: b : integer; ! 9: end; ! 10: included.OT includes.OT ! 11: type OT = integer; ! 12: included.Blah ! 13: [1] stop in Blah ! 14: [1] stopped in Blah at line 6 in file "included.p" ! 15: 6 begin ! 16: Blah(), line 6 in "included.p" ! 17: program(), line 13 in "includes.p" ! 18: main(0x1, 0x7fffe7e4, 0x7fffe7ec) at 0x6d ! 19:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.