Update generator to new test format

tchajed · tchajed · commit d3e0b880eb28 · 2020-02-01T10:04:25.000-05:00
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1 @@
-# Ignore IntelliJ project
-/.idea/
+/cmd/test_gen/test_gen
diff --git a/cmd/test_gen/main.go b/cmd/test_gen/main.go
@@ -99,7 +99,7 @@ func main() {
 			m := re.FindStringSubmatch(line)
 
 			if len(m) != 0 {
-				fmt.Fprintf(out, "Example %s_ok := %s #() ~~> #true.\n", m[1], m[1])
+				fmt.Fprintf(out, "Example %s_ok : %s #() ~~> #true := t.\n", m[1], m[1])
 			}
 		}
 	} else if t == "go" {

Original file line number	Diff line number	Diff line change
`@@ -99,7 +99,7 @@ func main() {`
`99`	`99`	`m := re.FindStringSubmatch(line)`
`100`	`100`
`101`	`101`	`if len(m) != 0 {`
`102`		`- fmt.Fprintf(out, "Example %s_ok := %s #() ~~> #true.\n", m[1], m[1])`
	`102`	`+ fmt.Fprintf(out, "Example %s_ok : %s #() ~~> #true := t.\n", m[1], m[1])`
`103`	`103`	`}`
`104`	`104`	`}`
`105`	`105`	`} else if t == "go" {`