Home | History | Annotate | Download | only in 530-checker-loops4 
      1 Test on loop optimizations, in particular with geometric induction.
      2