[Tst] Update new unit test to align with hardcoded test name in C# unit test runner

aman-goel · aman-goel · commit 02c63659c19f · 2025-04-24T21:28:43.000Z
diff --git a/Tst/RegressionTests/Integration/Correct/SEM_TwoMachines_15/TestSameAsMain.p b/Tst/RegressionTests/Integration/Correct/SEM_TwoMachines_15/TestSameAsMain.p
@@ -2,7 +2,7 @@
 // This is validation XYZ for announceInvocation.p
 event E2 assert 1: bool;
 
-machine Main {
+machine DefaultImpl {
     var XYZ: bool;
 	  var ev2: event;
     start state Real1_Init {
@@ -18,5 +18,5 @@ spec M observes E2 {
 	}
 }
 
-test Main [main=Main]: assert M in { Main };
+test DefaultImpl [main=DefaultImpl]: assert M in { DefaultImpl };
 

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@`
`2`	`2`	`// This is validation XYZ for announceInvocation.p`
`3`	`3`	`event E2 assert 1: bool;`
`4`	`4`
`5`		`-machine Main {`
	`5`	`+machine DefaultImpl {`
`6`	`6`	`var XYZ: bool;`
`7`	`7`	`var ev2: event;`
`8`	`8`	`start state Real1_Init {`
`@@ -18,5 +18,5 @@ spec M observes E2 {`
`18`	`18`	`}`
`19`	`19`	`}`
`20`	`20`
`21`		`-test Main [main=Main]: assert M in { Main };`
	`21`	`+test DefaultImpl [main=DefaultImpl]: assert M in { DefaultImpl };`
`22`	`22`