Path	Lines of Code
INSTALL.md	68
README.md	23
Sources/ExternalToolsManager/toolsourcesettings.json	40
Test/config/A__AssetTransfer_Workbench.json	6
Test/config/AddressCast.json	6
Test/config/Arithmetics.json	6
Test/config/ArrayAlias.json	6
Test/config/ArrayAlloc.json	6
Test/config/ArrayDynamicStorage.json	6
Test/config/ArrayFixedSize.json	6
Test/config/ArrayInitialization.json	6
Test/config/ArrayLength.json	6
Test/config/ArrayLengthParam.json	6
Test/config/ArrayLowerDimCopy.json	6
Test/config/ArrayLowerDimRef.json	6
Test/config/ArrayNestedFixedSize.json	6
Test/config/ArrayParamAlias.json	6
Test/config/ArrayParamCopy.json	6
Test/config/Assembly1.json	6
Test/config/Assembly2.json	6
Test/config/Assembly3.json	6
Test/config/Assembly4.json	6
Test/config/AssertFalse.json	6
Test/config/AssertTrue.json	6
Test/config/Branch.json	6
Test/config/Bytes.json	6
Test/config/BytesTypes.json	6
Test/config/Const.json	6
Test/config/Constructor.json	6
Test/config/ConstructorChaining.json	6
Test/config/ConstructorChaining2_fail.json	6
Test/config/ConstructorChaining3_fail.json	6
Test/config/ConstructorChaining4.json	6
Test/config/ConstructorChainingImplicit.json	6
Test/config/ConstructorChainingUnsoundSmall.json	6
Test/config/ConstructorLinearized.json	6
Test/config/ConstructorLinearizedWithArgs1.json	6
Test/config/ConstructorLinearizedWithArgs2.json	6
Test/config/ConstructorLinearizedWithArgs3.json	6
Test/config/ConstructorLinearized_fail.json	6
Test/config/ConstructorModifier.json	6
Test/config/ConstructorModifier_fail.json	6
Test/config/ConstructorSpecifier.json	6
Test/config/ContractInvUsageExample.json	6
Test/config/CreateContract.json	6
Test/config/DAO-Sim-Buggy.json	6
Test/config/DAO-Sim-Fixed.json	6
Test/config/DAO-buggy-call.json	6
Test/config/DAO-buggy-send.json	6
Test/config/DAO-buggy-transfer.json	6
Test/config/DAO-buggy-value.json	6
Test/config/DAO-fixed-call.json	6
Test/config/DAO-fixed-send.json	6
Test/config/DAO-fixed-transfer.json	6
Test/config/DAO-fixed-value.json	6
Test/config/DAO-modular-buggy-call.json	6
Test/config/DeleteScalar.json	6
Test/config/DoWhileLoop.json	6
Test/config/DynDispatch.json	6
Test/config/ERC20-demo.json	6
Test/config/ERC20-demoMod.json	7
Test/config/ERC20-modifies.json	6
Test/config/ERC20-simplified.json	6
Test/config/ERC20.json	6
Test/config/EmbeddedCalls.json	6
Test/config/EmptyContract.json	6
Test/config/EnumParam.json	6
Test/config/EnumType.json	6
Test/config/Error.json	6
Test/config/Error2.json	6
Test/config/Error3.json	6
Test/config/Event.json	6
Test/config/EventInBase.json	6
Test/config/ExternalFunctionCall.json	6
Test/config/FieldAccess.json	6
Test/config/FuncCallInIfCondition.json	6
Test/config/FuncsWithUnnamedParams.json	6
Test/config/Getter.json	6
Test/config/Getters.json	6
Test/config/IncDec.json	6
Test/config/InheritInitializer.json	6
Test/config/InheritWithConstructorArgs.json	6
Test/config/Inheritance.json	6
Test/config/InheritanceMultiple.json	6
Test/config/InheritanceMultipleWithLinearization.json	6
Test/config/InheritanceWithContractArg.json	6
Test/config/InitOutsideCtors.json	6
Test/config/InputParameters.json	6
Test/config/IntTypes.json	6
Test/config/InternalFunctionCall.json	6
Test/config/InternalFunctionCallStruct.json	6
Test/config/InternalFunctionCall_fail.json	6
Test/config/InternalFunctionInLibrary.json	6
Test/config/InternalRecursiveFunctionCall.json	6
Test/config/Keccak.json	6
Test/config/Library.json	6
Test/config/LibraryStruct.json	6
Test/config/Logical.json	6
Test/config/LoopBreak.json	6
Test/config/LoopContinue.json	6
Test/config/LoopDoWhile.json	6
Test/config/LoopFor.json	6
Test/config/LoopFor2.json	6
Test/config/LoopInvUsageExample.json	6
Test/config/LoopNestedFor.json	6
Test/config/LoopNestedWhile.json	6
Test/config/LoopWhile.json	6
Test/config/Mapping.json	6
Test/config/MappingInitialize.json	6
Test/config/MappingLowerDimRef.json	6
Test/config/MappingNested.json	6
Test/config/MappingReference.json	6
Test/config/MappingToStruct.json	6
Test/config/MethodDecl.json	6
Test/config/Modifier.json	6
Test/config/ModifierLocal.json	6
Test/config/ModifierPost.json	6
Test/config/ModifierReturn.json	6
Test/config/ModifierWithArgs.json	6
Test/config/ModifierWithInvocations.json	6
Test/config/NestedArray.json	6
Test/config/NestedFunctionCall.json	6
Test/config/NestedMappingAlias.json	6
Test/config/NoConstructor.json	6
Test/config/OutputParameters.json	6
Test/config/Overflow-Literals1.json	6
Test/config/Overflow-Literals1Mod.json	7
Test/config/Overflow-Literals2.json	6
Test/config/Overflow-Literals2Mod.json	7
Test/config/Overflow-Literals3.json	6
Test/config/Overflow-Literals3Mod.json	7
Test/config/Overflow1.json	6
Test/config/Overflow10.json	6
Test/config/Overflow10Mod.json	7
Test/config/Overflow11.json	6
Test/config/Overflow1Mod.json	7
Test/config/Overflow2.json	6
Test/config/Overflow2Mod.json	7
Test/config/Overflow3.json	6
Test/config/Overflow3Mod.json	7
Test/config/Overflow4.json	6
Test/config/Overflow4Mod.json	7
Test/config/Overflow5.json	6
Test/config/Overflow5Mod.json	7
Test/config/Overflow6.json	6
Test/config/Overflow6Mod.json	7
Test/config/Overflow7.json	6
Test/config/Overflow7Mod.json	7
Test/config/Overflow8.json	6
Test/config/Overflow8Mod.json	7
Test/config/Overflow9.json	6
Test/config/Overflow9Mod.json	7
Test/config/Ownable.json	6
Test/config/Require.json	6
Test/config/ReturnMult.json	6
Test/config/ReturnNamedParam.json	6
Test/config/Revert.json	6
Test/config/StateVarCall.json	6
Test/config/StateVarInit.json	6
Test/config/StaticDispatching.json	6
Test/config/StringMapping.json	6
Test/config/StringToBytes.json	6
Test/config/StructNested.json	6
Test/config/StructNestedConstructor.json	6
Test/config/StructOfDynamicArray.json	6
Test/config/StructOfFixedSizeArray.json	6
Test/config/StructOfMapping.json	6
Test/config/StructType.json	6
Test/config/This.json	6
Test/config/Throw.json	6
Test/config/TypeCast.json	6
Test/config/UInt-1.json	6
Test/config/UInt-1Mod.json	7
Test/config/UInt-2.json	6
Test/config/UInt-2Mod.json	7
Test/config/UInt.json	6
Test/config/UIntMod.json	7
Test/config/Uint256-Overflow.json	6
Test/config/Uint256-OverflowMod.json	7
Test/config/Uint8-Overflow-DownCasts.json	6
Test/config/Uint8-Overflow-DownCastsMod.json	7
Test/config/Uint8-Overflow-Neg.json	6
Test/config/Uint8-Overflow-NegMod.json	7
Test/config/Uint8-Overflow-UpCasts.json	6
Test/config/Uint8-Overflow-UpCastsMod.json	7
Test/config/Uint8-Overflow-expr.json	6
Test/config/Uint8-Overflow-exprMod.json	7
Test/config/Uint8-Overflow.json	6
Test/config/Uint8-OverflowMod.json	7
Test/config/UintCast.json	6
Test/config/UsingFor.json	6
Test/config/UsingForComplex.json	6
Test/config/UsingInBase.json	6
Test/config/UsingInTwoLibraries.json	6
Test/config/UsingInTwoLibrariesArrayInStruct.json	6
Test/config/UsingInTwoLibrariesNoStruct.json	6
Test/config/abiEncoded.json	6
Test/config/abiLibrary.json	6
Test/config/bigintinit.json	6
Test/config/block.json	6
Test/config/calldata.json	6
Test/config/harness.json	6
Test/config/transfer.json	6
Test/config/tuples.json	6
Test/config/tx.json	6
Test/workbench/AssetTransfer/AssetTransfer.json	567
Test/workbench/BasicProvenance/BasicProvenance.json	181
Test/workbench/BazaarItemListing/BazaarItemListing.json	338
Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.json	100
Test/workbench/DigitalLocker/DigitalLocker.json	423
Test/workbench/FrequentFlyerRewardsCalculator/FrequentFlyerRewardsCalculator.json	140
Test/workbench/HelloBlockchain/HelloBlockchain.json	148
Test/workbench/PingPongGame/PingPongGame.json	241
Test/workbench/README.md	19
Test/workbench/RefrigeratedTransportation/RefrigeratedTransportation.json	368
Test/workbench/RoomThermostat/RoomThermostat.json	170
Test/workbench/SimpleMarketplace/SimpleMarketplace.json	175