blob: b18e19c1b67c87727b703f46ed6ae03f68a25456 (
plain)
1
2
3
4
5
|
# Trace notes
Review status: pending human review.
User calls on lines 3, 8 and 13 enter nested library array access, an array-argument contract and a close of an unopened file. The declaration on line 18 automatically invokes a library constructor that divides by zero. Each error uses that user line and is caught. These are library and exception extensions.
|
