Code for logging and replay (doesn't work because of nondet in lua)

2022-03-11 18:35:51 -05:00
parent cfeeb2eaf3
commit 377f913aa7
12 changed files with 698 additions and 79 deletions
--- a/luprex/core/cpp/drivenengine.hpp
+++ b/luprex/core/cpp/drivenengine.hpp
@@ -198,9 +198,9 @@ public:
    //
    //////////////////////////////////////////////////////////////

-    static UniqueDrivenEngine make(const char *name);
+    static UniqueDrivenEngine make(std::string_view name);

-    static void print_usage(std::ostream &strm, const char *progname);
+    static void print_usage(std::ostream &strm, std::string_view progname);

    //////////////////////////////////////////////////////////////
    //