janhaag/PSE2011 — Issue #95: Z3 requires the memory limit to be passed in megabytes
Author: tschlum
Created: 2012-03-05 10:37:40+00:00
State: open
Labels: GUI

The user is currently prompted for a memory limit in kilobytes.
It is possible to convert this value, but only integer values may be passed to Z3, thus we can not provide memory limits in granularity of kilobytes.