stats.cpp

#include "stats.hpp"

#include <chrono>
using namespace std;

int stats::transistor_count = 0; // Definition of the static member
int stats::success_count = 0;
int stats::case_count = 0;