| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 92 |  .. |
| -rw-r--r-- | 328 |  Makefile |
| -rw-r--r-- | 487 | README |
| -rw-r--r-- | 270 | assert_fail.cpp |
| -rw-r--r-- | 398 | example_out.txt |
| -rw-r--r-- | 336 | example_pretty.txt |
| -rw-r--r-- | 989 | handle_contract_violation.cpp |
| -rwxr-xr-x | 883 | prettytrace.sh |