Use the emulator by default in the configuration

MaartenS11 · MaartenS11 · commit de8a43db74ff · 2026-04-15T15:22:08.000+02:00
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -137,5 +137,6 @@ fun writeDefaultConfig(file: File) {
     properties.setProperty("wdcli", wdcliPath)
     properties.setProperty("wdcli-symbolic", wdcliSymbolicPath)
     properties.setProperty("concolic", "true")
+    properties.setProperty("useEmulator", "true")
     properties.store(file.writer(), null)
 }

Original file line number	Diff line number	Diff line change
`@@ -137,5 +137,6 @@ fun writeDefaultConfig(file: File) {`
`137`	`137`	`properties.setProperty("wdcli", wdcliPath)`
`138`	`138`	`properties.setProperty("wdcli-symbolic", wdcliSymbolicPath)`
`139`	`139`	`properties.setProperty("concolic", "true")`
	`140`	`+ properties.setProperty("useEmulator", "true")`
`140`	`141`	`properties.store(file.writer(), null)`
`141`	`142`	`}`