Invalid state space size
The following code outputs a state-space of 8007 states and transitions.
package main
var c = 1
func compute() {
var tmp = 1
for c < 4000 {
c = c + tmp
}
}
func main() {
compute()
}
while this one only outputs a state-space of 7 states and transitions.
package main
var c = 1
func compute() {
for c < 4000 {
c = c + 1
}
}
func main() {
compute()
}