print platform

Wonseo-C · cmnrd · commit 971788b008ea · 2022-06-22T13:31:22.000+02:00
diff --git a/TS/src/BenchmarkRunner.lf b/TS/src/BenchmarkRunner.lf
@@ -29,6 +29,8 @@ reactor BenchmarkRunner(num_iterations:number(12)) {
         measuredTimes.length = num_iterations;
         actions.nextIteration.schedule(0, true);
         console.log("Benchmark will run " + num_iterations + " times \n");
+        console.log("System information:")
+        console.log(`Platform: ${process.platform} \n`)
     =}
    
     
@@ -77,10 +79,6 @@ reactor BenchmarkRunner(num_iterations:number(12)) {
                 return (execTimes[middle-1] + execTimes[middle]) / 2;
             }
         }
-        function printSystemInfo() {
-            console.log("System information:")
-            console.log(`Platform: ${process.platform)}`)
-        }
     =}
 
 }

Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,8 @@ reactor BenchmarkRunner(num_iterations:number(12)) {`
`29`	`29`	`measuredTimes.length = num_iterations;`
`30`	`30`	`actions.nextIteration.schedule(0, true);`
`31`	`31`	`console.log("Benchmark will run " + num_iterations + " times \n");`
	`32`	`+ console.log("System information:")`
	`33`	+ console.log(`Platform: ${process.platform} \n`)
`32`	`34`	`=}`
`33`	`35`
`34`	`36`
`@@ -77,10 +79,6 @@ reactor BenchmarkRunner(num_iterations:number(12)) {`
`77`	`79`	`return (execTimes[middle-1] + execTimes[middle]) / 2;`
`78`	`80`	`}`
`79`	`81`	`}`
`80`		`- function printSystemInfo() {`
`81`		`- console.log("System information:")`
`82`		- console.log(`Platform: ${process.platform)}`)
`83`		`- }`
`84`	`82`	`=}`
`85`	`83`
`86`	`84`	`}`