breandan breandan
📖
breandan
/ [email protected]
Last active
October 30, 2022 04:39
SetValiant with accuracy@top-1 repairs.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original error: | |
| '''Test NetRpcNfs() functionally''' | |
| from lnxproc import netrpcnfs | |
| from.output import test_module | |
| test_module(netrpcnfs.NetRpcNfs() | |
| Good Repair: |
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Scores [model=(valid, total)]: | |
| tidyparse=(0, 0) | |
| Disabling nonterminal stubs! | |
| Synthesizing (44): w ( w ) w ( w ) w _ _ w ) ) w [ w ] w ( w [ w ] ) w ( w [ w ] ) w ( w [ w ] ) w ( w ) w | |
| Solver formed 1003388 constraints in 2291ms | |
| Synthesizing (44): w ( w ) w ( w ) w ( w ) ) w [ w ] w ( w [ w ] ) w ( w [ w ] ) w _ _ w [ w ] ) w ( w ) w | |
| Solver formed 1003388 constraints in 2154ms | |
| Synthesizing (45): w ( w ) w ( w ) w ( w ) ) w [ w ] w ( w [ w ] ) w ( w [ w ] ) w ( w [ w ] ) w ( w ) w _ _ | |
| Solver formed 1072807 constraints in 2413ms | |
| Synthesizing (44): w ( w ) w ( w ) w ( w ) ) w [ w ] w ( w [ w ] _ _ w ( w [ w ] ) w ( w [ w ] ) w ( w ) w |
breandan
/ synthetic_errors_unlocalized_repairs.log
Created
October 20, 2022 04:06
Synthetic errors in natural code with unlocalized repairs
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Scores [model=(valid, total)]: | |
| tidyparse=(0, 0) | |
| Disabling nonterminal stubs! | |
| Synthesizing: _ _ _ _ _ _ _ _ w ( _ _ _ _ _ _ _ _ | |
| Solver formed 70215 constraints in 218ms | |
| Synthesizing: _ _ _ _ _ _ _ _ ( w _ _ _ _ _ _ _ _ | |
| Solver formed 70214 constraints in 138ms | |
| Synthesizing: _ _ _ _ _ _ _ _ w ] _ _ _ _ _ _ _ _ | |
| Solver formed 69091 constraints in 130ms | |
| Synthesizing: _ _ _ _ _ _ _ _ ] { _ _ _ _ _ _ _ _ |
breandan
/ BIFI_log_2022_10_18.txt
Created
October 18, 2022 18:03
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Scores [model=(valid, total)]: | |
| microsoft/codebert-base-mlm=(0, 0) | |
| huggingface/CodeBERTa-small-v1=(0, 0) | |
| microsoft/graphcodebert-base=(0, 0) | |
| dbernsohn/roberta-java=(0, 0) | |
| tidyparse=(0, 0) | |
| Synthesizing: _ _ _ _ _ _ _ _ w ( _ _ _ _ _ _ _ _ | |
| Solver formed 64568 constraints in 169ms | |
| Synthesizing: _ _ _ _ _ _ _ _ ( w _ _ _ _ _ _ _ _ | |
| Solver formed 64569 constraints in 123ms |
breandan
/ synthesis_trace.log
Created
August 17, 2022 23:09
Synthesis trace for `if ( true or false ) then true else 3 3`
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Exclusions: if ( * * * ) then true else 3 3 | |
| Synthesizing: if ( true or false ) then true _ _ 3 3 | |
| Synthesizing: if ( true or false ) then true else 3 3 _ | |
| Synthesizing: if ( true or false _ _ then true else 3 3 | |
| Synthesizing: if ( true or false ) then true else 3 3 _ _ | |
| Synthesizing: if ( true or false ) _ _ true else 3 3 | |
| Synthesizing: if _ _ true or false ) then true else 3 3 | |
| Synthesizing: _ _ ( true or false ) then true else 3 3 | |
| Synthesizing: if ( true or false ) then true else 3 _ _ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| public class Main { | |
| interface Z { | |
| } | |
| interface L_a<x> { | |
| } | |
| interface L_c<x> { | |
| } |
breandan
/ subtyping_machine_error.log
Created
August 17, 2022 21:28
Initial error produced when I ran `mvn -e test`.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [INFO] Error stacktraces are turned on. | |
| [INFO] Scanning for projects... | |
| [INFO] | |
| [INFO] ----------------< il.ac.technion.cs:subtyping-machine >----------------- | |
| [INFO] Building subtyping-machine 1.0.0 | |
| [INFO] --------------------------------[ jar ]--------------------------------- | |
| [INFO] | |
| [INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ subtyping-machine --- | |
| [INFO] Using 'UTF-8' encoding to copy filtered resources. | |
| [INFO] skip non existing resourceDirectory /Users/breandan/IdeaProjects/subtyping-machine/src/main/resources |
breandan
/ gradle_internal_error.txt
Created
July 24, 2022 23:07
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| org.gradle.api.tasks.TaskExecutionException: Execution failed for task ':compileKotlinJvm'. | |
| at org.gradle.api.internal.tasks.execution.ExecuteActionsTaskExecuter.lambda$executeIfValid$1(ExecuteActionsTaskExecuter.java:142) | |
| at org.gradle.internal.Try$Failure.ifSuccessfulOrElse(Try.java:282) | |
| at org.gradle.api.internal.tasks.execution.ExecuteActionsTaskExecuter.executeIfValid(ExecuteActionsTaskExecuter.java:140) | |
| at org.gradle.api.internal.tasks.execution.ExecuteActionsTaskExecuter.execute(ExecuteActionsTaskExecuter.java:128) | |
| at org.gradle.api.internal.tasks.execution.CleanupStaleOutputsExecuter.execute(CleanupStaleOutputsExecuter.java:77) | |
| at org.gradle.api.internal.tasks.execution.FinalizePropertiesTaskExecuter.execute(FinalizePropertiesTaskExecuter.java:46) | |
| at org.gradle.api.internal.tasks.execution.ResolveTaskExecutionModeExecuter.execute(ResolveTaskExecutionModeExecuter.java:51) | |
| at org.gradle.api.internal.tasks.execution.SkipTaskWithNoActionsExec |
breandan
/ multik_jvm_error.txt
Created
July 21, 2022 22:42
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| java.util.ServiceConfigurationError: org.jetbrains.kotlinx.multik.api.Engine: Provider org.jetbrains.kotlinx.multik.openblas.JvmNativeEngine could not be instantiated | |
| at java.base/java.util.ServiceLoader.fail(ServiceLoader.java:586) | |
| at java.base/java.util.ServiceLoader$ProviderImpl.newInstance(ServiceLoader.java:813) | |
| at java.base/java.util.ServiceLoader$ProviderImpl.get(ServiceLoader.java:729) | |
| at java.base/java.util.ServiceLoader$3.next(ServiceLoader.java:1403) | |
| at kotlin.collections.CollectionsKt___CollectionsKt.toCollection(_Collections.kt:1295) | |
| at kotlin.collections.CollectionsKt___CollectionsKt.toMutableList(_Collections.kt:1328) | |
| at kotlin.collections.CollectionsKt___CollectionsKt.toList(_Collections.kt:1319) | |
| at org.jetbrains.kotlinx.multik.api.EngineKt.enginesProvider(Engine.kt:6) | |
| at org.jetbrains.kotlinx.multik.api.Engine.<clinit>(Engine.kt:48) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Run ./gradlew allTests --stacktrace | |
| Downloading https://services.gradle.org/distributions/gradle-7.5-bin.zip | |
| ...........10%............20%...........30%............40%...........50%............60%...........70%............80%...........90%............100% | |
| Welcome to Gradle 7.5! | |
| Here are the highlights of this release: | |
| - Support for Java 18 | |
| - Support for building with Groovy 4 | |
| - Much more responsive continuous builds | |
| - Improved diagnostics for dependency resolution | |
| For more details see https://docs.gradle.org/7.5/release-notes.html |