From b4b9fac81cd3b1befae28d17a28f20be3a7ebf77 Mon Sep 17 00:00:00 2001
From: Jiawei Liu <jaway.liu@gmail.com>
Date: Fri, 17 Mar 2023 13:58:41 -0500
Subject: [PATCH] refact: defaultify symbolic-cinit (#96)

---
 nnsmith/config/main.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nnsmith/config/main.yaml b/nnsmith/config/main.yaml
index 253158f..6e2ed57 100644
--- a/nnsmith/config/main.yaml
+++ b/nnsmith/config/main.yaml
@@ -6,7 +6,7 @@ mgen: # model gen.
   max_nodes: 5
   timeout_ms: 10000
   vulops: False
-  method: "symbolic"
+  method: "symbolic-cinit"
   save: "nnsmith_output"
   seed: null
   max_elem_per_tensor: 65536 # 2^16