-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
To Produce the final integration file #21
Comments
this can be closed |
Can you point to the lines where the integration file is produced? |
SemCPS/src/main/java/main/SemCPSMain.java Lines 84 to 98 in 358950c
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
In the same way that it was implemented in Alligator, but here taking into account the threshold (which should be a parameter in the configuration) produce the final integrated file.
The text was updated successfully, but these errors were encountered: