Path	Lines of Code
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/Program.cs	19
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/Properties/AssemblyInfo.cs	15
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/assembly.cs	171
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/debug.cs	15
ironclad-apps/src/DafnyTestDriver/DafnyTestDriver/profile.cs	74