hmijail

Build started 11/25/2021 19:05:15.
     0>Process = "/usr/local/share/dotnet/dotnet"
       MSBuild executable path = "/usr/local/share/dotnet/sdk/5.0.402/MSBuild.dll"
       Command line arguments = "/usr/local/share/dotnet/sdk/5.0.402/MSBuild.dll -maxcpucount -verbosity:m -restore -target:VSTest -nodereuse:false -nologo -verbosity:d -property:VSTestTestCaseFilter=DisplayName~DafnyTests/TestAttribute.dfy Source/IntegrationTests -property:VSTestVerbosity=d -distributedlogger:Microsoft.DotNet.Tools.MSBuild.MSBuildLogger,/usr/local/share/dotnet/sdk/5.0.402/dotnet.dll*Microsoft.DotNet.Tools.MSBuild.MSBuildForwardingLogger,/usr/local/share/dotnet/sdk/5.0.402/dotnet.dll"
       Current directory = "/Users/mija/repos/dafny/dafny"
       MSBuild version = "16.11.1+3e40a09f8"
       Resolving SDK 'Microsoft.NET.Sdk'...
       Property reassignment: $(MSBuildProjectExtensionsPath)="/Users/mija/repos/dafny/dafny/Source/IntegrationTests/obj/" (previous value: "obj\") at /usr/local/share/dotnet/sdk/5.0.402/Current/Micros

hmijail

Build started 11/25/2021 17:21:24.
     0>Process = "/usr/local/share/dotnet/dotnet"
       MSBuild executable path = "/usr/local/share/dotnet/sdk/5.0.402/MSBuild.dll"
       Command line arguments = "/usr/local/share/dotnet/sdk/5.0.402/MSBuild.dll -maxcpucount -verbosity:m -restore -target:VSTest -nodereuse:false -nologo -verbosity:d -property:VSTestTestCaseFilter=DisplayName~DafnyTests/TestAttribute.dfy Source/IntegrationTests -property:VSTestVerbosity=d -distributedlogger:Microsoft.DotNet.Tools.MSBuild.MSBuildLogger,/usr/local/share/dotnet/sdk/5.0.402/dotnet.dll*Microsoft.DotNet.Tools.MSBuild.MSBuildForwardingLogger,/usr/local/share/dotnet/sdk/5.0.402/dotnet.dll"
       Current directory = "/Users/mija/repos/dafny/dafny"
       MSBuild version = "16.11.1+3e40a09f8"
       Resolving SDK 'Microsoft.NET.Sdk'...
       Property reassignment: $(MSBuildProjectExtensionsPath)="/Users/mija/repos/dafny/dafny/Source/IntegrationTests/obj/" (previous value: "obj\") at /usr/local/share/dotnet/sdk/5.0.402/Current/Micros

hmijail

Build started 11/25/2021 17:09:13.
     0>Process = "/usr/local/share/dotnet/dotnet"
       MSBuild executable path = "/usr/local/share/dotnet/sdk/5.0.402/MSBuild.dll"
       Command line arguments = "/usr/local/share/dotnet/sdk/5.0.402/MSBuild.dll -maxcpucount -verbosity:m -restore -target:VSTest -nodereuse:false -nologo -verbosity:d -property:VSTestTestCaseFilter=DisplayName~DafnyTests/TestAttribute.dfy Source/IntegrationTests -property:VSTestVerbosity=d -distributedlogger:Microsoft.DotNet.Tools.MSBuild.MSBuildLogger,/usr/local/share/dotnet/sdk/5.0.402/dotnet.dll*Microsoft.DotNet.Tools.MSBuild.MSBuildForwardingLogger,/usr/local/share/dotnet/sdk/5.0.402/dotnet.dll"
       Current directory = "/Users/mija/repos/dafny/dafny"
       MSBuild version = "16.11.1+3e40a09f8"
       Resolving SDK 'Microsoft.NET.Sdk'...
       Property reassignment: $(MSBuildProjectExtensionsPath)="/Users/mija/repos/dafny/dafny/Source/IntegrationTests/obj/" (previous value: "obj\") at /usr/local/share/dotnet/sdk/5.0.402/Current/Micros

hmijail

/*
 * Copyright 2019 ConsenSys AG.
 *
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with
 * the License. You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on
 * an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the

hmijail

/*
 * Licensed to the Apache Software Foundation (ASF) under one or more
 * contributor license agreements. See the NOTICE file distributed with
 * this work for additional information regarding copyright ownership.
 * The ASF licenses this file to You under the Apache license, Version 2.0
 * (the "License"); you may not use this file except in compliance with
 * the License. You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *

hmijail

$ python merklificator.py segments-9000000.json.gz -s 8 16 24 32 40 48 -m 8 16 24 32 -d 0
Chunking for tree arity=2, chunk size=[8, 16, 24, 32, 40, 48], hash size=[8, 16, 24, 32]
file segments-9000000.json.gz: exec=77460.3K
	chunksize= 8	chunk_oh=  9.4% (10.85M chunks) + 3.37M hashes
		hashsize= 8	 hash_oh= 34.0%		total_oh= 43.5%
		hashsize=16	 hash_oh= 68.1%		total_oh= 77.5%
		hashsize=24	 hash_oh=102.1%		total_oh=111.5%
		hashsize=32	 hash_oh=136.1%		total_oh=145.6%
	chunksize=16	chunk_oh= 16.5% (5.78M chunks) + 2.67M hashes
		hashsize= 8	 hash_oh= 27.0%		total_oh= 43.5%

hmijail

$ infer run -- ./gradlew build -x test
Capturing in gradle mode...
Running and capturing gradle compilation...
Usage Error:
*** Failed to execute compilation command: exited with code 2
*** Command: javac '@/Users/mija/programming/ConsenSys/Sidechains-PoC-Crosschain/infer-out/filelists/gradle_f8pj4L.txt' '@/var/folders/fg/txwyt5v92fncr6n02trmjwv40000gs/T/args_.tmp.487d1e'
*** Output:
javac: invalid flag: -XepExcludedPaths:.*/(generated/*.*|.*ReferenceTest_.*)
Usage: javac <options> <source files>
use -help for a list of possible options

hmijail

[Command]
Command="
    copyq:
    //Works as of CopyQ v10.0.0
    var c = count()
    if (c==0) {
       popup('Nothing to FIFO-paste')
       abort()
    }

hmijail

[Command]
Command="
    copyq: 
    //works as of CopyQ v10.0.0
    var c = count()
    if (c==0) {
        fail()
    }

    select(0)