File: timeTest.expected

package info (click to toggle)
maude 3.5.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,480 kB
  • sloc: cpp: 133,192; makefile: 2,180; yacc: 1,984; sh: 1,373; lex: 886
file content (17 lines) | stat: -rw-r--r-- 658 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
==========================================
erewrite in TEST : run .
time out for first timer
time out for first timer
time out for second timer
time out for first timer
time out for first timer
time out for first timer
time out for first timer
time out for third timer
rewrites: 19
result Configuration: <> startedTimer(me, timer(0)) startedTimer(me, timer(1))
    startedTimer(me, timer(2)) deletedTimer(me, timer(0)) deletedTimer(me,
    timer(1)) deletedTimer(me, timer(2)) wrote(me, stdout) wrote(me, stdout)
    wrote(me, stdout) wrote(me, stdout) wrote(me, stdout) wrote(me, stdout)
    wrote(me, stdout) wrote(me, stdout) < me : myClass | none >
Bye.