Fork me on GitHub
#test-check
<
2022-05-11
>
Oliver George06:05:42

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)

Oliver George07:05:37

Thanks for the link. I think the implication is the code is old and the api has changed. I'll look more closely.

Oliver George08:05:52

Got it. Thanks.

Ben Sless13:01:15

Do you still have the updated code?

Oliver George09:02:36

hmm, not sure. I'll see what I can find.

Oliver George09:02:33

zero promises but i found a related file and the last commit seems about right: https://gist.github.com/olivergeorge/6258155976c0e308e28a36af2339efa0

Ben Sless09:02:12

I also forked it and managed to apply the changes, hopefully correctly I'll compare our implementations and see if I missed anything

👍 2