The Ansys Innovation Space website recently experienced a database corruption issue. While service has been restored there appears to have been some data loss from November 13. We are still investigating and apologize for any issues our users may have as a result.

Ansys Innovation Space

FREE STUDENT SOFTWARE

The “Reset condition” issue of scade example in Scade Primer

- November 22, 2024 at 9:44 pm
  
  fdtsaid
  Subscriber
  
  In chapter 2.1.6 Operator instantiation of Scade Primer, there is a scade program as follows:
  
  const max: uint64 = 10;
  node sigma (e:uint64) returns (sum:uint64)
  let
  sum = 0 -> e + pre sum;
  tel
  node sample() returns (s:uint64)
  let
  s = (restart sigma every (pre s > max))(count());
  tel
  
  In line
  s = (restart sigma every (pre s > max)) (count());
  
  Should pre s > max be true -> (pre s > max)? Because "the reset condition of restart-every cannot be delayed".

Viewing 0 reply threads

You must be logged in to reply to this topic.