Opened 9 years ago

Closed 9 years ago

#544 closed proposed feature (fixed)

problem with 'not' in ASSUME statements

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: singular-kernel Version: 4-0-0
Keywords: Cc:

Description

fix the following issue: using 'not' not possible in certain ASSUME statemets 

proc zero()
{  return (0);  }

ASSUME(0, 0 == zero() ); // ok

ASSUME(0, not zero() );    // => ? no int expression
ASSUME(0, not (zero() ) ); // => ? no int expression
ASSUME(0, (not zero() ) ); // => ? no int expression

Change History (1)

comment:1 Changed 9 years ago by hannes

Resolution: → fixed
Status: new → closed

fixed on dec 19 2013 (f4f4033f0b5880920c8e4bfa1a3ab7c2f9e749b8) i.e. does not occur in 4-0-0

Note: See TracTickets for help on using tickets.