jackwadden / VASim

VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, simulate, and profile homogeneous NFAs, and is meant to be an open tool for automata processing research. VASim can also be extended to support hypothetical automata processing elements.
BSD 3-Clause "New" or "Revised" License
34 stars 20 forks source link

Long profile runs cause memory bloat #21

Open jackwadden opened 7 years ago

jackwadden commented 7 years ago

Profiling stores behavior in memory and does not write these structures to disk until simulation is finished. This can prevent profiling of longer runs due to memory limitations.