Project

General

Profile

Revision e41592cf regression_tests/local_inline.lus

View differences:

regression_tests/local_inline.lus
55 55
let
56 56

  
57 57
  -- MAIN;
58
  -- assert Primary_Side = (Primary_Side -> pre( Primary_Side));
59
  -- assert PFS_Initial_Value =  (PFS_Initial_Value -> pre( PFS_Initial_Value));
58
  assert Primary_Side = (Primary_Side -> pre( Primary_Side));
59
  assert PFS_Initial_Value =  (PFS_Initial_Value -> pre( PFS_Initial_Value));
60 60
  assert State>=0 and State <=5;
61 61
  assert  Inhibit_count>=0 and  Inhibit_count <=2;
62 62
  
......
400 400

  
401 401

  
402 402

  
403
node PFS_contract_R2
403
node top
404 404
  (TS, CLK1, CLK3, CLK2, CLK4 : bool)
405 405
returns
406 406
  (OK : bool) ;

Also available in: Unified diff