AssertSerial

The AssertSerial assertion is attached to a loop which Polaris should assume is intrinsically serial.

The CSRD directive forms of the AssertSerial assertion is:

CSRD$ SERIAL

An example of its usage is as follows:

CSRD$ SERIAL
       do i = 1, m
          . . .