Project

General

Profile

« Previous | Next » 

Revision c3af3032

Added by Bourbouh over 3 years ago

add more contracts examples

View differences:

tests/cocospec/StopwatchSpec.lus
46 46
-- Stopwatch high-level spec --
47 47
-------------------------------
48 48

  
49
(*@
49

  
50 50
contract stopwatchSpec ( toggle, reset : bool ) returns ( time : int ) ;
51 51
let
52 52
  -- the watch is activated initially if the toggle button is pressed
......
104 104
    ensure true -> time = pre time ; 
105 105
  ) ;
106 106
tel
107
*)
107

  
108 108

  
109 109
------------------------------
110 110
-- Stopwatch low-level spec --

Also available in: Unified diff