Skip to content
Snippets Groups Projects
Commit ed33189c authored by Russel Arbore's avatar Russel Arbore
Browse files

whoops x2

parent d3907052
No related branches found
No related tags found
3 merge requests!157Fork fission bufferize,!144Forkify fixes,!142More fork tests, bug fixes in fork passes and GPU backend
Pipeline #201342 failed
......@@ -1857,7 +1857,7 @@ pub fn indices_may_overlap(indices1: &[Index], indices2: &[Index]) -> bool {
* list of indices B.
*/
pub fn indices_contain_other_indices(indices_a: &[Index], indices_b: &[Index]) -> bool {
if indices_a.len() < indices_b.len() {
if indices_a.len() > indices_b.len() {
return false;
}
......
......@@ -28,5 +28,6 @@ fixpoint panic after 20 {
infer-schedules(*);
}
xdot[true](*);
float-collections(test2, out.test2);
gcm(*);
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment