add another ablation study run

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/log.txt

@@ -0,0 +1,90 @@
+[SERU] 2024/11/03 16:56:23 SeRu - Syntactic & Semantic Reduction
+[SERU] 2024/11/03 16:56:23 
+[SERU] 2024/11/03 16:56:23 Creating new run context with (input=study/instances/error/issue_2209/final/in.cue, test=study/instances/error/issue_2209/final/test.sh, lang=)
+[SERU] 2024/11/03 16:56:23 Running algorithm with config SemanticApplicationMethod: ApplyAllCombined, SyntacticReducer: Perses, Strategies: [5 11 1 2 3 4 10 12 13 0 6 7 9]
+[SERU] 2024/11/03 16:56:23 No language configured, using language from file 'cue'
+[SERU] 2024/11/03 16:56:24 Starting reduction loop
+[SERU] 2024/11/03 16:56:24 Results will be created in seru_reduction_2024-11-03T16:56:23+01:00_97552d26-6365-477a-a6c7-48cd69fe8456
+[SERU] 2024/11/03 16:56:24 Initial token size of program: 124
+[SYNTACTIC] 2024/11/03 16:56:24 Start reduction of 1 candidates
+[SYNTACTIC] 2024/11/03 16:56:24 Executing command: /usr/bin/java -jar perses_deploy.jar -i seru_reduction_2024-11-03T16:56:23+01:00_97552d26-6365-477a-a6c7-48cd69fe8456/in.cue -t seru_reduction_2024-11-03T16:56:23+01:00_97552d26-6365-477a-a6c7-48cd69fe8456/test.sh --call-formatter true --language-ext-jars cue.jar
+[SYNTACTIC] 2024/11/03 16:56:30 Reduced 1 candidates with sizes:  [100]
+[SYNTACTIC] 2024/11/03 16:56:30 Best candidate size: 100
+[SERU] 2024/11/03 16:56:30 Store new best with size 100
+[SEMANTIC] 2024/11/03 16:56:30 Start reduction
+[SEMANTIC] 2024/11/03 16:56:30 Trying strategies and combine results
+[SEMANTIC] 2024/11/03 16:56:30 Trying strategy LetReduction (1/14)
+[SEMANTIC] 2024/11/03 16:56:30 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:30 Trying strategy EmptyDeclarationReduction (2/14)
+[SEMANTIC] 2024/11/03 16:56:30 found candidates: 1 - valid: 1
+[SEMANTIC] 2024/11/03 16:56:30 Setting minimum as new intermediate best - size 98
+[SEMANTIC] 2024/11/03 16:56:30 Trying strategy EmptyDeclarationReduction (2/14)
+[SEMANTIC] 2024/11/03 16:56:30 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:30 Trying strategy PackageReduction (3/14)
+[SEMANTIC] 2024/11/03 16:56:30 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:30 Trying strategy RedundantNestingReduction (4/14)
+[SEMANTIC] 2024/11/03 16:56:30 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:30 Trying strategy ListReduction (5/14)
+[SEMANTIC] 2024/11/03 16:56:30 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:30 Trying strategy TrivialIfReduction (6/14)
+[SEMANTIC] 2024/11/03 16:56:31 found candidates: 4 - valid: 1
+[SEMANTIC] 2024/11/03 16:56:31 Setting minimum as new intermediate best - size 94
+[SEMANTIC] 2024/11/03 16:56:31 Trying strategy TrivialIfReduction (6/14)
+[SEMANTIC] 2024/11/03 16:56:31 found candidates: 2 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:31 Trying strategy IfReduction (7/14)
+[SEMANTIC] 2024/11/03 16:56:31 found candidates: 3 - valid: 1
+[SEMANTIC] 2024/11/03 16:56:31 Setting minimum as new intermediate best - size 83
+[SEMANTIC] 2024/11/03 16:56:31 Trying strategy IfReduction (7/14)
+[SEMANTIC] 2024/11/03 16:56:32 found candidates: 2 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:32 Trying strategy EllipsisReduction (8/14)
+[SEMANTIC] 2024/11/03 16:56:32 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:32 Skipping strategy ConstantPropagationReduction due to config
+[SEMANTIC] 2024/11/03 16:56:32 Trying strategy StringInterpolationReduction (10/14)
+[SEMANTIC] 2024/11/03 16:56:32 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:32 Trying strategy LoopUnrollingReduction (11/14)
+[SEMANTIC] 2024/11/03 16:56:32 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:32 Trying strategy UnificationReduction (12/14)
+[SEMANTIC] 2024/11/03 16:56:32 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:32 Trying strategy UnionReduction (13/14)
+[SEMANTIC] 2024/11/03 16:56:32 found candidates: 6 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:32 Trying strategy ImportReduction (14/14)
+[SEMANTIC] 2024/11/03 16:56:32 found candidates: 0 - valid: 0
+[SYNTACTIC] 2024/11/03 16:56:32 Start reduction of 1 candidates
+[SYNTACTIC] 2024/11/03 16:56:32 Executing command: /usr/bin/java -jar perses_deploy.jar -i seru_reduction_2024-11-03T16:56:23+01:00_97552d26-6365-477a-a6c7-48cd69fe8456/best_semantic/in.cue -t seru_reduction_2024-11-03T16:56:23+01:00_97552d26-6365-477a-a6c7-48cd69fe8456/best_semantic/test.sh --call-formatter true --language-ext-jars cue.jar
+[SYNTACTIC] 2024/11/03 16:56:35 Reduced 1 candidates with sizes:  [83]
+[SYNTACTIC] 2024/11/03 16:56:35 Best candidate size: 83
+[SERU] 2024/11/03 16:56:35 Store new best with size 83
+[SEMANTIC] 2024/11/03 16:56:35 Start reduction
+[SEMANTIC] 2024/11/03 16:56:35 Trying strategies and combine results
+[SEMANTIC] 2024/11/03 16:56:35 Trying strategy LetReduction (1/14)
+[SEMANTIC] 2024/11/03 16:56:35 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:35 Trying strategy EmptyDeclarationReduction (2/14)
+[SEMANTIC] 2024/11/03 16:56:35 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:35 Trying strategy PackageReduction (3/14)
+[SEMANTIC] 2024/11/03 16:56:35 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:35 Trying strategy RedundantNestingReduction (4/14)
+[SEMANTIC] 2024/11/03 16:56:35 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:35 Trying strategy ListReduction (5/14)
+[SEMANTIC] 2024/11/03 16:56:35 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:35 Trying strategy TrivialIfReduction (6/14)
+[SEMANTIC] 2024/11/03 16:56:35 found candidates: 2 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:35 Trying strategy IfReduction (7/14)
+[SEMANTIC] 2024/11/03 16:56:36 found candidates: 2 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:36 Trying strategy EllipsisReduction (8/14)
+[SEMANTIC] 2024/11/03 16:56:36 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:36 Skipping strategy ConstantPropagationReduction due to config
+[SEMANTIC] 2024/11/03 16:56:36 Trying strategy StringInterpolationReduction (10/14)
+[SEMANTIC] 2024/11/03 16:56:36 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:36 Trying strategy LoopUnrollingReduction (11/14)
+[SEMANTIC] 2024/11/03 16:56:36 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:36 Trying strategy UnificationReduction (12/14)
+[SEMANTIC] 2024/11/03 16:56:36 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:36 Trying strategy UnionReduction (13/14)
+[SEMANTIC] 2024/11/03 16:56:36 found candidates: 6 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:36 Trying strategy ImportReduction (14/14)
+[SEMANTIC] 2024/11/03 16:56:36 found candidates: 0 - valid: 0
+[SEMANTIC] 2024/11/03 16:56:36 Semantic reduction found no valid candidates
+[SERU] 2024/11/03 16:56:36 Found fixpoint, stopping reduction
+[SERU] 2024/11/03 16:56:36 Finished reduction loop
+[SERU] 2024/11/03 16:56:36 Reduced program to 83/124 tokens (66.94%)
+[SERU] 2024/11/03 16:56:36 Final result is located at seru_reduction_2024-11-03T16:56:23+01:00_97552d26-6365-477a-a6c7-48cd69fe8456/in.cue

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/output/0/in.cue

@@ -0,0 +1,25 @@
+Foo: #Obj & {spec: foo: {}}
+Bar: #Obj & {spec: bar: {}}
+
+#Obj: X={
+	spec: *#SpecFoo | #SpecBar
+
+	out: #Out & {
+		_Xspec: X.spec
+		if _Xspec.foo != _|_ {
+			minFoo: _Xspec.foo.min
+		}
+		if _Xspec.bar != _|_ {
+			minBar: _Xspec.bar.min
+		}
+	}
+}
+
+#SpecFoo: foo: min: int | *10
+#SpecBar: bar: min: int | *20
+
+#Out: {
+	{minFoo: int} | {minBar: int}
+
+	*{nullFoo: null} | {nullBar: null}
+}

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/output/0/test.sh

@@ -0,0 +1,36 @@
+#!/bin/bash
+
+readonly tmp_dir="${TMPDIR:-/tmp/}"
+readonly cache_dir="${tmp_dir}cue-dd"
+
+function cueVersion() {
+  version=$1
+  cached_bin="${cache_dir}/cue-${version}"
+
+  if [[ ! -f $cached_bin ]]; then
+    # until "go install -o" is supported; see https://github.com/golang/go/issues/44469
+    if ! GOBIN=$cache_dir go install cuelang.org/go/cmd/cue@"${version}"; then
+      echo "CUE ${version} download failed"
+      exit 1
+    fi
+    mv "${cache_dir}/cue" "${cached_bin}"
+  fi
+
+  echo "$cached_bin"
+}
+
+set +e # allow failing commands
+error_output="$("$(cueVersion v0.6.0)" export in.cue 2>&1 > /dev/null)"
+expected_output='undefined field:'
+if ! grep -qE "$expected_output" <<< "$error_output"; then
+	echo "Expected error missing, got: ${error_output}"
+	exit 1
+fi
+
+set -e # forbid failing commands
+output=$($(cueVersion v0.4.3) export in.cue || exit 1)
+
+
+
+
+

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/output/1/in.cue

@@ -0,0 +1,20 @@
+{}
+#Obj & {spec: bar: {}}
+#Obj: X={
+ spec: *#SpecFoo | #SpecBar
+ #Out & {
+  _Xspec: X.spec
+  if _Xspec.foo != _|_ {
+   minFoo: _Xspec.foo.min
+  }
+  if _Xspec.bar != _|_ {
+   minBar: _Xspec.bar.min
+  }
+ }
+}
+#SpecFoo: foo: min: int
+#SpecBar: bar: min: 20
+#Out: {
+ {minFoo: int} | {minBar: int}
+ *null | {nullBar: null}
+}

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/output/1/test.sh

@@ -0,0 +1,36 @@
+#!/bin/bash
+
+readonly tmp_dir="${TMPDIR:-/tmp/}"
+readonly cache_dir="${tmp_dir}cue-dd"
+
+function cueVersion() {
+  version=$1
+  cached_bin="${cache_dir}/cue-${version}"
+
+  if [[ ! -f $cached_bin ]]; then
+    # until "go install -o" is supported; see https://github.com/golang/go/issues/44469
+    if ! GOBIN=$cache_dir go install cuelang.org/go/cmd/cue@"${version}"; then
+      echo "CUE ${version} download failed"
+      exit 1
+    fi
+    mv "${cache_dir}/cue" "${cached_bin}"
+  fi
+
+  echo "$cached_bin"
+}
+
+set +e # allow failing commands
+error_output="$("$(cueVersion v0.6.0)" export in.cue 2>&1 > /dev/null)"
+expected_output='undefined field:'
+if ! grep -qE "$expected_output" <<< "$error_output"; then
+	echo "Expected error missing, got: ${error_output}"
+	exit 1
+fi
+
+set -e # forbid failing commands
+output=$($(cueVersion v0.4.3) export in.cue || exit 1)
+
+
+
+
+

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/output/2/in.cue

@@ -0,0 +1,16 @@
+#Obj & {spec: bar: {}}
+#Obj: X={
+ spec: *#SpecFoo | #SpecBar
+ #Out & {
+  _Xspec: X.spec
+  if _Xspec.bar != _|_ {
+   minBar: _Xspec.bar.min
+  }
+ }
+}
+#SpecFoo: foo: min: int
+#SpecBar: bar: min: 20
+#Out: {
+ {minFoo: int} | {minBar: int}
+ *null | {nullBar: null}
+}

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/output/2/test.sh

@@ -0,0 +1,36 @@
+#!/bin/bash
+
+readonly tmp_dir="${TMPDIR:-/tmp/}"
+readonly cache_dir="${tmp_dir}cue-dd"
+
+function cueVersion() {
+  version=$1
+  cached_bin="${cache_dir}/cue-${version}"
+
+  if [[ ! -f $cached_bin ]]; then
+    # until "go install -o" is supported; see https://github.com/golang/go/issues/44469
+    if ! GOBIN=$cache_dir go install cuelang.org/go/cmd/cue@"${version}"; then
+      echo "CUE ${version} download failed"
+      exit 1
+    fi
+    mv "${cache_dir}/cue" "${cached_bin}"
+  fi
+
+  echo "$cached_bin"
+}
+
+set +e # allow failing commands
+error_output="$("$(cueVersion v0.6.0)" export in.cue 2>&1 > /dev/null)"
+expected_output='undefined field:'
+if ! grep -qE "$expected_output" <<< "$error_output"; then
+	echo "Expected error missing, got: ${error_output}"
+	exit 1
+fi
+
+set -e # forbid failing commands
+output=$($(cueVersion v0.4.3) export in.cue || exit 1)
+
+
+
+
+

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/output/in.cue

@@ -0,0 +1,16 @@
+#Obj & {spec: bar: {}}
+#Obj: X={
+ spec: *#SpecFoo | #SpecBar
+ #Out & {
+  _Xspec: X.spec
+  if _Xspec.bar != _|_ {
+   minBar: _Xspec.bar.min
+  }
+ }
+}
+#SpecFoo: foo: min: int
+#SpecBar: bar: min: 20
+#Out: {
+ {minFoo: int} | {minBar: int}
+ *null | {nullBar: null}
+}

study/ablation_results/no_constant_propagation/instances/error/issue_2209/final/run_0/output/in.cue.20241103_165624_00.orig

@@ -0,0 +1,25 @@
+Foo: #Obj & {spec: foo: {}}
+Bar: #Obj & {spec: bar: {}}
+
+#Obj: X={
+	spec: *#SpecFoo | #SpecBar
+
+	out: #Out & {
+		_Xspec: X.spec
+		if _Xspec.foo != _|_ {
+			minFoo: _Xspec.foo.min
+		}
+		if _Xspec.bar != _|_ {
+			minBar: _Xspec.bar.min
+		}
+	}
+}
+
+#SpecFoo: foo: min: int | *10
+#SpecBar: bar: min: int | *20
+
+#Out: {
+	{minFoo: int} | {minBar: int}
+
+	*{nullFoo: null} | {nullBar: null}
+}