Project

General

Profile

« Previous | Next » 

Revision 0d065e73

Added by Pierre-Loïc Garoche almost 5 years ago

Solved a bug in the compilation of asserts. Now different behavior depending on the backend:
functional: keep it as is
non func: introduce a fresh local var v and replace assert(e) by v=e; assert (v);

  • added
  • modified
  • copied
  • renamed
  • deleted