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.