workcraft/workcraft

workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/presets/HandshakeDataSerialiser.java

Summary

Maintainability

A

30 mins

Test Coverage

Size

Lines of code

63