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

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