tools/test/p4src/p4-14/p4c-out/tofino/default/mavericks/logs/pa.constraints.log

+---------------------------------------------------------------------+
|  Log file: pa.constraints.log                                       |
|  Compiler version: 5.1.0 (fca32d1)                                  |
|  Created on: Wed Sep 13 12:56:12 2017                               |
+---------------------------------------------------------------------+

To populate this log file, include --print-pa-constraints as a compiler argument.