You can generate CPS models with SampleModelGenerator class of the org.eclipse.viatra.query.examples.cps.generator.tests project.
How to use it:
-
Remove the
@Ignoreannotation from the class -
Run the class as JUnit Plug-in Test
-
Generated files will be in the
modelsfolder of the test project
Currently generated example models:
-
DemoCPSConstraints -
SimpleCPSConstraints
If you need other models you need to add other test cases to the class.