log src/main/gov/nasa/jpf/listener/PathOutputMonitor.java @ 12:a51545ab397e

age author description
Wed, 11 Mar 2015 18:20:32 -0700 Peter Mehlitz modified PathOutputMonitor to allow in-situ path specs. If the pom.{all|any|none} value starts with a double quote it is taken as the output spec. Also added a VerbatimOutputSpec in case we don't want regex matching
Fri, 23 Jan 2015 10:14:01 -0800 Peter Mehlitz initial v8 import (history reset)