Code - workcraft/workcraft

Branch: master(View all)

Name	Lines of code	Maintainability	Test coverage
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/bad.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/dev-bad.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/env.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/read_completion-ta.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/philosophers-no_deadlock.pn.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/philosophers-deadlock.pn.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/cycle.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/call-final-a12.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/consistency_violation-conflict.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/block1.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/charge.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/mode_selector-cr-dum.stg.work
workcraft/MpsatVerificationPlugin/res/images/double-right-arrow.svg
workcraft/MsfsmPlugin/build.gradle
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/arbitration-3.stg.work
.gitattributes
build.gradle
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/toggle_signals-no_input_properness-no_output_determinacy.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/inout_pulse.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/mode_selector-csc-dum.stg.work
workcraft/MpsatVerificationPlugin/build.gradle
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/read_completion.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/mode_selector-cr.stg.work
workcraft/SonPlugin/res/images/son-simulation-auto.svg
workcraft/SonPlugin/res/images/son-simulation-stop.svg
workcraft/SonPlugin/res/images/son-simulation-play.svg
.github/workflows/ci.yml
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/block2.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/dev.stg.work
workcraft/CpogPlugin/test-res/org/workcraft/plugins/cpog/instructions-scenario.cpog.work
workcraft/SonPlugin/res/images/son-simulation-trace-error.svg
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/pulser-self_trigger_exceptions.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/vme.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/block3.stg.work
workcraft/SonPlugin/res/images/son-tool-scenario.svg
workcraft/SonPlugin/res/images/son-scenario-delete.svg
workcraft/CpogPlugin/build.gradle
workcraft/WtgPlugin/test-res/org/workcraft/plugins/wtg/buck.wtg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/consistency_violation-no_alternation.stg.work
workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/mode_selector.stg.work
workcraft/SonPlugin/models/groups.ucls
workcraft/SonPlugin/res/images/son-selection-rotate_counterclockwise.svg
workcraft/SonPlugin/res/images/son-simulation-forward.svg
workcraft/SonPlugin/res/images/son-simulation-trace-paste.svg
.github/ISSUE_TEMPLATE.md
workcraft/SonPlugin/res/images/son-node-channel_place.svg
workcraft/CpogPlugin/res/images/cpog-node-vertex.svg
workcraft/WtgPlugin/test-res/org/workcraft/plugins/wtg/instruction_decoder.wtg.work
workcraft/SonPlugin/res/images/son-selection-flip_vertical.svg
workcraft/SonPlugin/res/images/son-simulation-reverse.svg