Closed farhan5248 closed 8 months ago
Notes so far
Change in plans, won't be using Graphwalker. Initially for MBT I needed 3 things
I was using JUNG and Graphwalker but JUNG is too old and Graphwalker needs me to write more code than I think I need. Specifically I need to make at least one method for each vertex and edge which I didn't have to with Curiosity Test Modeller or with the approach I'll take.
The new tools will be JGraphT for 1 and 2, JGraphX for 4 and GraalVM for 3
The next step is to create a working example for claims without expressions, just hard-coded data.