From ed33189c2fcaf725a8ae34f09d4fb963826ac4b6 Mon Sep 17 00:00:00 2001
From: Russel Arbore <russel.jma@gmail.com>
Date: Sun, 2 Feb 2025 13:38:57 -0600
Subject: [PATCH] whoops x2
---
hercules_ir/src/ir.rs | 2 +-
juno_samples/fork_join_tests/src/gpu.sch | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/hercules_ir/src/ir.rs b/hercules_ir/src/ir.rs
index 846347b0..5c575ea1 100644
--- a/hercules_ir/src/ir.rs
+++ b/hercules_ir/src/ir.rs
@@ -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;
}
diff --git a/juno_samples/fork_join_tests/src/gpu.sch b/juno_samples/fork_join_tests/src/gpu.sch
index 80f1bbc9..0647d781 100644
--- a/juno_samples/fork_join_tests/src/gpu.sch
+++ b/juno_samples/fork_join_tests/src/gpu.sch
@@ -28,5 +28,6 @@ fixpoint panic after 20 {
infer-schedules(*);
}
+xdot[true](*);
float-collections(test2, out.test2);
gcm(*);
--
GitLab