tree 6bd5ea11ccb8f845489e3012730ba89748f9fceb
parent 4132ce6691380de11d9498a21da8cac4b9232fb2
author Luca Cristoforetti <cristofo@fbk.eu> 1584629984 +0100
committer Luca Cristoforetti <cristofo@fbk.eu> 1584629984 +0100

Improve SysML checkers