-
Notifications
You must be signed in to change notification settings - Fork 30
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
New dazls updates #492
New dazls updates #492
Conversation
trigger new build Signed-off-by: Frank Kreuwel <[email protected]>
Signed-off-by: black <[email protected]>
Signed-off-by: thomasnijsen <[email protected]>
Signed-off-by: thomasnijsen <[email protected]>
Signed-off-by: thomasnijsen <[email protected]>
…the pipeline. Signed-off-by: thomasnijsen <[email protected]>
Signed-off-by: black <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice job adding a new and better DAZLS model! I left some remarks for improvements regarding best practices.
Signed-off-by: thomasnijsen <[email protected]>
Signed-off-by: black <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice!
Quality Gate passedKudos, no new issues were introduced! 0 New issues |
Added a new DAZLs model (with license), and updated the DAZLs model class with a more elaborate string method for model checking.