bug fix
[chr.git] / Tests / 
tree790053ead977bd5e90f141d53c070e85acc94871
drwxr-xr-x   ..
-rw-r--r-- 5 .cvsignore
-rw-r--r-- 1055 fibonacci.chr
-rw-r--r-- 609 leq.chr
-rw-r--r-- 230 passive_check.chr
-rw-r--r-- 252 passive_check2.chr
-rw-r--r-- 845 primes.chr
-rw-r--r-- 249 trigger_no_active_occurrence.chr
-rw-r--r-- 4438 zebra.chr