Make sure clk is in the reduction

Author: splogdes

config/settings.toml

@@ -1,14 +1,14 @@
 [settings]
 max_iter = 1000
-stop_iter_lambda = 20
+stop_iter_lambda = 10
 start_input_lambda = 2
 start_undriven_lambda = 2
 prob_sequential_module = 0.1
-prob_sequential_port = 0.2
+prob_sequential_port = 0.05
 
 [priorities]
-AddRandomModule = 20
-AddExternalNet = 5
+AddRandomModule = 10
+AddExternalNet = 2
 AddUndriveNet = 10
 DriveUndrivenNet = 15
 DriveUndrivenNets = 0

flake.nix

@@ -36,7 +36,7 @@
 
           fuznet = pkgs.stdenv.mkDerivation {
             pname   = "fuznet";
-            version = "0.5.0";
+            version = "0.5.2";
             src     = ./.;
 
             nativeBuildInputs = with pkgs; [ cmake ];

src/netlist/netlist.cpp

@@ -340,6 +340,10 @@ void Netlist::remove_other_nets(const int& output_id) {
 
     }
 
+    for (const auto& net_ptr : nets)
+        if (net_ptr->name == "clk")
+            keep_nets.insert(net_ptr->id);
+
     modules.erase(
         std::remove_if(modules.begin(), modules.end(),
                        [&](const std::unique_ptr<Module>& m) {