workcraft/workcraft

View on GitHub
Branch: master(View all)
NameLines of codeMaintainabilityTest coverage
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/PathBreakerSelfloopPinsTagCommand.java22
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/PropagateInversionTransformationCommand.java196
A
1 hr
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ProxyContactTransformationCommand.java85
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ReachAssertionVerificationCommand.java78
A
1 hr
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/RefinementStatisticsCommand.java88
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/RefinementVerificationCommand.java52
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ResetActiveHighInsertionCommand.java7
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ResetActiveLowInsertionCommand.java7
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ResetVerificationCommand.java34
A
1 hr
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ScanInsertionCommand.java24
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/SignalAssertionVerificationCommand.java95
A
35 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/SplitGateTransformationCommand.java238
A
1 hr
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/SpotAssertionVerificationCommand.java72
B
4 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/SquashComponentTransformationCommand.java44
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/StatisticsCommand.java199
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/StrictImplementationVerificationCommand.java141
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/TestableGateInsertionCommand.java18
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ToggleBubbleTransformationCommand.java142
A
30 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/ToggleZeroDelayTransformationCommand.java72
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/UpdateComponentInterfaceTransformationCommand.java32
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Constant.java28
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Expression.java9
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Factor.java35
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Formula.java66
A
1 hr
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Literal.java33
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Negation.java40
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/expression/Term.java64
A
1 hr
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/Function.java9
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/Gate.java21
A
50 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/GateInterface.java30
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/GenlibUtils.java152
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/Library.java36
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/LibraryManager.java120
A
3 hrs
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/AbstractVerilogExporter.java446
A
45 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/AbstractVerilogImporter.java1,160
C
1 day
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/GenlibFormat.java30
A
1 hr
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/GenlibImporter.java39
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/ImportVerilogDialog.java158
A
35 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/SdcFormat.java30
A
1 hr
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/SystemVerilogAssignExporter.java7
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/SystemVerilogImporter.java14
A
30 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/VerilogFormat.java54
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/VerilogImporter.java14
A
30 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/interop/VerilogNetlistExporter.java7
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryBooleanFormula.java4
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryBooleanFormulaBuilder.java91
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryBooleanFormulaVisitor.java10
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryDefaultArgExtractor.java26
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/NaryUtils.java45
A
0 mins
workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/naryformula/SplitForm.java20
A
0 mins