use c++20

butterunderflow · butterunderflow · commit 319cfd6576f0 · 2025-07-23T14:11:42.000+08:00
diff --git a/src/main/scala/wasm/StagedConcolicMiniWasm.scala b/src/main/scala/wasm/StagedConcolicMiniWasm.scala
@@ -1080,7 +1080,7 @@ object WasmToCppCompiler {
     }
 
     import sys.process._
-    val command = s"g++ -std=c++17 $outputCpp -o $outputExe -O3 -g " + generated.headerFolders.map(f => s"-I$f").mkString(" ")
+    val command = s"g++ -std=c++20 $outputCpp -o $outputExe -O3 -g " + generated.headerFolders.map(f => s"-I$f").mkString(" ")
     if (command.! != 0) {
       throw new RuntimeException(s"Compilation failed for $outputCpp")
     }

Original file line number	Diff line number	Diff line change
`@@ -1080,7 +1080,7 @@ object WasmToCppCompiler {`
`1080`	`1080`	`}`
`1081`	`1081`
`1082`	`1082`	`import sys.process._`
`1083`		`- val command = s"g++ -std=c++17 $outputCpp -o $outputExe -O3 -g " + generated.headerFolders.map(f => s"-I$f").mkString(" ")`
	`1083`	`+ val command = s"g++ -std=c++20 $outputCpp -o $outputExe -O3 -g " + generated.headerFolders.map(f => s"-I$f").mkString(" ")`
`1084`	`1084`	`if (command.! != 0) {`
`1085`	`1085`	`throw new RuntimeException(s"Compilation failed for $outputCpp")`
`1086`	`1086`	`}`