Support --dump-state and --read-state

MaterializeInc · Oct 31, 2023 · ec940c5 · ec940c5
1 parent 9f90d46
commit ec940c5
Show file tree

Hide file tree

Showing 4 changed files with 415 additions and 221 deletions.
diff --git a/log.cc b/log.cc
@@ -71,7 +71,6 @@ cerr_logger::cerr_logger()
 {
   ostringstream seed;
   seed << smith::rng;
-  cout << "seed: " << stoi(seed.str()) << endl;
 }
 
 void cerr_logger::report()