signal OneOfs also

2018-09-01 11:36:09 -07:00
parent 91376842ba
commit 4a003b944c
1 changed files with 6 additions and 0 deletions
@@ -327,10 +327,16 @@ inline static void ForAll(Closure func) {

 template <typename... FuncTys>
 inline static void OneOf(FuncTys&&... funcs) {
+  if (FLAGS_verbose_reads) {
+    printf("DeepState: STARTING OneOf CALL\n");
+  }
  std::function<void(void)> func_arr[sizeof...(FuncTys)] = {funcs...};
  unsigned index = DeepState_UIntInRange(
      0U, static_cast<unsigned>(sizeof...(funcs))-1);
  func_arr[Pump(index, sizeof...(funcs))]();
+  if (FLAGS_verbose_reads) {  
+    printf("DeepState: FINISHED OneOf CALL\n");
+  }
 }

 inline static char OneOf(const char *str) {