search

flyingmutant / rapid

Rapid is a modern Go property-based testing library
https://pkg.go.dev/pgregory.net/rapid
Mozilla Public License 2.0
579 stars 25 forks source link

Update 3rd Playground Example #53

Closed tzaffi closed 1 year ago

tzaffi commented 1 year ago

Update the State Machine Playground Example

I'm getting the following error when attempting to run the current playground link:

go: finding module for package pgregory.net/rapid
go: downloading pgregory.net/rapid v0.6.0
go: found pgregory.net/rapid in pgregory.net/rapid v0.6.0
# play [play.test]
./prog_test.go:85:23: undefined: rapid.Run

I'm swapping in this playground which is giving the intended error???

panic: runtime error: invalid memory address or nil pointer dereference
[signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0x56a75e]

goroutine 1 [running]:
pgregory.net/rapid.Check(0x0, 0xc0000061a0?)
    /tmp/gopath1637942906/pkg/mod/pgregory.net/rapid@v0.6.0/engine.go:92 +0x1e
main.main()
    /tmp/sandbox58985778/prog.go:76 +0x25

Program exited.
flyingmutant commented 1 year ago

Thanks for reporting and attempting to fix! The source code needs to be adjusted slightly to run in the playground properly, please check out the new link in the README.