diff --git a/linux_mode/README.md b/linux_mode/README.md index ab33173..14931ae 100644 --- a/linux_mode/README.md +++ b/linux_mode/README.md @@ -109,7 +109,6 @@ permitted by applicable law. A valid context for root could not be obtained. Last login: Fri Dec 1 21:21:22 UTC 2023 on ttyS0 root@linux:~# ./a.out -root@linux:~# ./a.out [Thread 0x7ffff6a98640 (LWP 2148566) exited] Enter some input. d @@ -128,7 +127,7 @@ Restored In the Qemu tab, press Ctrl+C, run the `cpu` command ``` -Once the second tab indicates to run the `cpu` command, run the `cpu` command from the first tab: +Once the second tab indicates to run the `cpu` command, press Ctrl+C and run the `cpu` command from the first tab: ```console Thread 1 "qemu-system-x86" received signal SIGINT, Interrupt. diff --git a/src/wtf/wtf.cc b/src/wtf/wtf.cc index 2ac1bc4..497d353 100644 --- a/src/wtf/wtf.cc +++ b/src/wtf/wtf.cc @@ -80,7 +80,7 @@ int main(int argc, const char *argv[]) { MasterCmd->add_option("--runs", Opts.Master.Runs, "Runs") ->description("Number of mutations done.") - ->required(); + ->default_val(std::numeric_limits::max()); MasterCmd ->add_option("--max_len", Opts.Master.TestcaseBufferMaxSize,