Bug#577830: Split filenames of $dumpfile and $readmem in amd64

2015-03-27 Thread أحمد المحمودي
On Thu, Mar 26, 2015 at 04:25:49PM +0200, أحمد المحمودي wrote: On Wed, Apr 14, 2010 at 07:46:11PM -0300, Marco Túlio Gontijo e Silva wrote: This bug is also reported in: https://bugs.launchpad.net/ubuntu/+source/gplcver/+bug/243980 For instance, using: $dumpfile(teste-disco.vcd);

Bug#577830: Split filenames of $dumpfile and $readmem in amd64

2015-03-26 Thread أحمد المحمودي
On Wed, Apr 14, 2010 at 07:46:11PM -0300, Marco Túlio Gontijo e Silva wrote: This bug is also reported in: https://bugs.launchpad.net/ubuntu/+source/gplcver/+bug/243980 For instance, using: $dumpfile(teste-disco.vcd); // it creates isco.vcd $dumpfile(disco.vcd); // it creates isco.vcd

Bug#577830: Split filenames of $dumpfile and $readmem in amd64

2010-04-14 Thread Marco Túlio Gontijo e Silva
Package: gplcver Version: 2.12a-1.1 Severity: normal Tags: patch upstream Hi. This bug is also reported in: https://bugs.launchpad.net/ubuntu/+source/gplcver/+bug/243980 For instance, using: $dumpfile(teste-disco.vcd); // it creates isco.vcd $dumpfile(disco.vcd); // it creates isco.vcd