remove some commented code

p-org · Oct 8, 2024 · a11c558 · a11c558
1 parent 08aa8bc
commit a11c558
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs b/Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs
@@ -1337,25 +1337,6 @@ private void GenerateControlBlock(Machine m, State s, PEvent e)
             EmitLine($"verify({m.Name}_{s.Name}_{e.Name});");
         }
 
-        // foreach (var m in machines)
-        // {
-        //     foreach (var s in m.States)
-        //     {
-        //         if (_ctx.Job.CheckOnly is null || _ctx.Job.CheckOnly == m.Name || _ctx.Job.CheckOnly == s.Name)
-        //         {
-        //             EmitLine($"verify({m.Name}_{s.Name});");
-        //         }
-
-        //         foreach (var e in events.Where(e => !e.IsNullEvent && !e.IsHaltEvent && s.HasHandler(e)))
-        //         {
-        //             if (_ctx.Job.CheckOnly is null || _ctx.Job.CheckOnly == m.Name || _ctx.Job.CheckOnly == s.Name || _ctx.Job.CheckOnly == e.Name)
-        //             {
-        //                 EmitLine($"verify({m.Name}_{s.Name}_{e.Name});");
-        //             }
-        //         }
-        //     }
-        // }
-
         EmitLine("check;");
         EmitLine("print_results;");
         EmitLine("}");