Indentation
Gary Fredericks
8 years ago
692 | 692 | |
693 | 693 | (defspec shuffled-vector-is-a-permutation-of-original 100 |
694 | 694 | (prop/for-all [[coll permutation] original-vector-and-permutation] |
695 | (= (sort coll) (sort permutation)))) | |
695 | (= (sort coll) (sort permutation)))) | |
696 | 696 | |
697 | 697 | ;; vector can generate large vectors; regression for TCHECK-49 |
698 | 698 | ;; --------------------------------------------------------------------------- |