Project

General

Profile

« Previous | Next » 

Revision 105b3645

Added by Guillaume Davy over 9 years ago

Delete tests files that have no k

View differences:

tests/misc/two_counters.lus
25 25
  d = intloopcounter(x);
26 26
  OK = b = d;
27 27
--!k:5;
28
  --!PROPERTY: OK;
28
--!PROPERTY: OK;
29 29
tel

Also available in: Unified diff