🔒 update lockfile

Author: burgholzer

src/algorithms/simulation/simple_simulation.cpp

@@ -8,6 +8,7 @@
 #include <boost/dynamic_bitset/dynamic_bitset.hpp>
 #include <cstddef>
 #include <iostream>
+#include <ranges>
 
 namespace syrec {
 
@@ -48,7 +49,7 @@ namespace syrec {
     }
 
     void simpleSimulation(boost::dynamic_bitset<>& output, const Circuit& circ, const boost::dynamic_bitset<>& input,
-                          const Properties::ptr& statistics) {
+                          const Properties::ptr& statistics, const bool reverse) {
         Timer<PropertiesTimer> t;
 
         if (statistics) {
@@ -57,8 +58,14 @@ namespace syrec {
         }
 
         output = input;
-        for (const auto& g: circ) {
+        if (reverse) {
+          for (const auto& g: std::ranges::reverse_view(circ)) {
             coreGateSimulation(*g, output);
+          }
+        } else {
+          for (const auto& g: circ) {
+            coreGateSimulation(*g, output);
+          }
         }
 
         if (statistics) {

test/unittests/test_cost_aware_simulation.cpp

@@ -21,9 +21,9 @@ class SyrecAddLinesSimulationTest: public testing::TestWithParam<std::string> {
     std::string             testCircuitsDir = "./circuits/";
     std::string             fileName;
     boost::dynamic_bitset<> input;
-    boost::dynamic_bitset<> output;
+    boost::dynamic_bitset<> output, output2;
     std::vector<int>        setLines;
-    std::string             expectedSimOut;
+    std::string             expectedSimOut, expectedSimIn;
     std::string             outputString;
 
     void SetUp() override {
@@ -68,11 +68,18 @@ TEST_P(SyrecAddLinesSimulationTest, GenericSimulationTest) {
     }
 
     output.resize(circ.getLines());
+    output2.resize(circ.getLines());
 
     simpleSimulation(output, circ, input, statistics);
 
     boost::to_string(output, outputString);
     std::reverse(outputString.begin(), outputString.end());
 
     EXPECT_EQ(expectedSimOut, outputString);
+
+    // Check reversed simulation
+    simpleSimulation(output2, circ, output, statistics, true);
+    boost::to_string(output2, outputString);
+    boost::to_string(input, expectedSimIn);
+    EXPECT_EQ(expectedSimIn, outputString);
 }

test/unittests/test_line_aware_simulation.cpp

@@ -21,9 +21,9 @@ class SyrecSimulationTest: public testing::TestWithParam<std::string> {
     std::string             testCircuitsDir = "./circuits/";
     std::string             fileName;
     boost::dynamic_bitset<> input;
-    boost::dynamic_bitset<> output;
+    boost::dynamic_bitset<> output, output2;
     std::vector<int>        setLines;
-    std::string             expectedSimOut;
+    std::string             expectedSimOut, expectedSimIn;
     std::string             outputString;
 
     void SetUp() override {
@@ -68,11 +68,18 @@ TEST_P(SyrecSimulationTest, GenericSimulationTest) {
     }
 
     output.resize(circ.getLines());
+    output2.resize(circ.getLines());
 
     simpleSimulation(output, circ, input, statistics);
 
     boost::to_string(output, outputString);
     std::reverse(outputString.begin(), outputString.end());
 
     EXPECT_EQ(expectedSimOut, outputString);
+
+    // Check reversed simulation
+    simpleSimulation(output2, circ, output, statistics, true);
+    boost::to_string(output2, outputString);
+    boost::to_string(input, expectedSimIn);
+    EXPECT_EQ(expectedSimIn, outputString);
 }