Clojurians Log v2
Clojure programming
Channels
Apps
test-check
Oliver George 2022-05-11T06:17:42.431829Z
Hello. I'm trying to get this going: http://blog.guillermowinkler.com/blog/2015/04/12/verifying-state-machine-behavior-using-test-dot-check/ There's a repo which works https://github.com/guilespi/fsm-test-check/ But when I update the deps (clojure 1.6.0-> 1.11.1 & test check 0.7.0->1.1.1) I get this error: class clojure.lang.PersistentVector cannot be cast to class clojure.test.check.rose_tree.RoseTree (clojure.lang.PersistentVector is in unnamed module of loader 'app'; clojure.test.check.rose_tree.RoseTree is in unnamed module of loader clojure.lang.DynamicClassLoader @7d5508e0)
2022-05-11T06:27:25.483469Z
https://github.com/clojure/test.check/commit/d2378b37f1185cc20efc2dd364042521b9abc30e
Oliver George 2022-05-11T07:01:37.501249Z
Thanks for the link. I think the implication is the code is old and the api has changed. I'll look more closely.
Oliver George 2022-05-11T08:49:52.063129Z
Got it. Thanks.
Oliver George 2023-02-01T09:09:36.834779Z
hmm, not sure. I'll see what I can find.
Oliver George 2023-02-01T09:24:33.860769Z
zero promises but i found a related file and the last commit seems about right: https://gist.github.com/olivergeorge/6258155976c0e308e28a36af2339efa0
Ben Sless 2023-02-01T09:54:12.668349Z
I also forked it and managed to apply the changes, hopefully correctly I'll compare our implementations and see if I missed anything
👍 1
Ben Sless 2023-01-26T13:21:15.066299Z
Do you still have the updated code?