Project

General

Profile

« Previous | Next » 

Revision 105b3645

Added by Guillaume Davy over 8 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