folding of two consecutive set-notations triggers a bug in WLF
| Bugzilla Link | 689 |
| Created on | Mar 26, 2010 10:39 |
| Version | svn |
| OS | All |
| Architecture | PC |
| Attachments | bug_tx.sac |
Extended Description
The attached code is an excerpt from a matrix multiplication testcase provided by Michael Bullington at TTU.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information