Previous Up Next

11  Troubleshooting

  1. Blast fails with
    Failure(``Simplify raised exception End_of_file'')
    
    Is Simplify in your path?

  2. Blast fails with
    Failure(``convertExp: This expression Eq should not be handled here'') 
    
    Blast does not like expressions like
    return (x==y);
    
    Change this to
    if (x==y) return 1; else return 0;
    
    Similarly, change
    a = (x==y) ;
    
    to
    if (x==y) a = 1; else a = 0;
    
    and similarly for the other relational operators <=, >=, >, <, !=.
Don't see your problem? Send mail to blast@eecs.berkeley.edu.


Previous Up Next