| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 730 | logplain |
| -rw-r--r-- | build_testcase.gpr.gp | 1198 | logplain |
| -rw-r--r-- | generated_files | 262 | logplain |
| d--------- | subdir | 69 | logplain |
| -rw-r--r-- | testcase.adb | 755 | logplain |
| -rw-r--r-- | testcase.ads | 623 | logplain |
| -rw-r--r-- | testcase.gpr.gp | 925 | logplain |