Question on behalf of @sebastian-long-chasm
Hi - is there anywhere in the A12 Tools a possibility to generate sample data based on a document model?
Answer on behalf of @malcolm-silver-ice
I’ve never used it personally, but isn’t that what the test data generator on geta12 is for?
https://geta12.com/docs/?release=2022.06#product:tdg,artifact:tdg-docs-public,content:asciidoc,scene:Test_Data_Generator,anchor:
Answer on behalf of @sebastian-long-chasm
Sounds promising - Thanks!
*Answer on behalf of @malcolm-silver-ice *
You’re welcome, hope it solves your problem.
Answer on behalf of @sebastian-long-chasm
Not quite - wrong hardware
com.mgmtp.a12.tdg.common.exceptions.CaseNotImplementedException: Unknown case: Yices2 with not supported on Mac OS X aarch64!
Answer on behalf of @erik-radiant-gorge
you still have the option of using a (linux) VM
Answer on behalf of @conrad-solid-stream
Maybe try using an x86 jdk and let java run via rosetta 2.
I have asked Johannes Bauer from the Test Data Generator Team to please have a look at this, after he is back from vacation. Hopefully he can help you with your issue.
TDG does not support Mac so far, only Windows and Ubuntu.
Support for Mac could be possible in priciple, as the external software we use, is available on Mac. But this was never required until now.
If you need support for Mac, we’d need an requirement and - of course - somebody to pay for it.
Since I saw this topic on accident + it has a couple of views - I thought I give a little update on that matter:
Since A12 2023.02 release, also MacOS is supported, also no additional SMT Solver download is required anymore. The documentation was updated accordingly 