Project

General

Profile

« Previous | Next » 

Revision 6c964a9b

Added by Pierre-Loïc Garoche over 3 years ago

Cocospec files

View differences:

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

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

  
106 109
------------------------------
107 110
-- Stopwatch low-level spec --

Also available in: Unified diff