Enable --no-reflective-asserts on all phases

Joel Allred · Joel Allred · commit 7a2bc1f5be4a · 2019-08-22T16:14:10.000+01:00
diff --git a/diffblue.yml b/diffblue.yml
@@ -17,6 +17,7 @@ cbmcArguments:
   cover-only: file
   inline-into-assertion: true
   inline-function-arguments: true
+  no-reflective-asserts: true
 phases:
   - timeout: 150
     cbmcArguments:
