janhaag/PSE2011 — Issue #103: Valid path for Z3 not accepted on UNIX-like OSes
Author: janhaag
Created: 2012-03-06 21:26:42+00:00
State: open

The pattern for valid executable files is *.*; however, on UNIX-like OSes executables don't have a filename extension.