Remove failing test

oxidecomputer · Nov 15, 2024 · 2e147f2 · 2e147f2
1 parent db9fd9a
commit 2e147f2
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 26 deletions.
diff --git a/hdl/projects/gimlet/sequencer/A1Block.bsv b/hdl/projects/gimlet/sequencer/A1Block.bsv
@@ -348,31 +348,6 @@ import PowerRail::*;
 
     endmodule
 
-    module mkA1PowerDownA0InteractionTest(Empty);
-
-        Bench bench <- mkBench();
-
-        mkAutoFSM(seq
-            dynamicAssert(bench.a1_ok == False, "Expected sequencer in A2");
-            dynamicAssert(bench.seq_to_sp3_rsmrst_v3p3_l == 0, "Expected RSMRST_L asserted");
-            bench.power_up();
-            await(bench.a1_ok);
-            bench.a0_busy();
-            dynamicAssert(bench.seq_to_sp3_rsmrst_v3p3_l == 1, "Expected RSMRST_L de-asserted");
-            bench.power_down(); // Should not actually happen because A0 is busy
-            delay(200);
-            dynamicAssert(bench.a1_ok == True, "Expected a1_ok to still be asserted since it can't power down");
-            dynamicAssert(bench.seq_to_sp3_rsmrst_v3p3_l == 1, "Expected RSMRST_L still de-asserted");
-            bench.a0_idle();
-            delay(5);
-            dynamicAssert(bench.a1_ok == False, "Expected a1_ok to be de-asserted we can now power down");
-            dynamicAssert(bench.seq_to_sp3_rsmrst_v3p3_l == 0, "Expected RSMRST_L asserted");
-            dynamicAssert(bench.v3p3_s5.enabled == False, "Expected v3p3_s5_en de-asserted");
-            delay(200);
-        endseq);
-
-    endmodule
-
     module mkA1MAPOTest(Empty);
 
         Bench bench <- mkBench();

diff --git a/hdl/projects/gimlet/sequencer/BUILD b/hdl/projects/gimlet/sequencer/BUILD
@@ -93,7 +93,6 @@ bluesim_tests('A1Tests',
         'mkA1PowerUpTest',
         'mkA1PowerDownTest',
         'mkA1MAPOTest',
-        'mkA1PowerDownA0InteractionTest',
     ],
     deps = [
         ':A1Block'