do not take resource limits from more than one source
[why3.git] / bench / encoding / why2 / dancing / 
treecd76a9337f795f99180194e916916fd564564416
drwxr-xr-x   ..
-rw-r--r-- 54931 bug2_why.why
-rw-r--r-- 155549 i_behavior.myset_why.why
-rw-r--r-- 139938 i_behavior_oracle.myset_why.why
-rw-r--r-- 91423 i_dancing.myset_why.why
-rw-r--r-- 155549 i_safety.myset_why.why
-rw-r--r-- 210851 i_safety.notinft2_why.why
-rw-r--r-- 161467 i_safety.notinft_why.why
-rw-r--r-- 69540 i_safety_frame_jessie_why.why