Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion dag/gunbc/witness/witness_row_cost_basis.tsv
Original file line number Diff line number Diff line change
Expand Up @@ -209,7 +209,7 @@ dag/test/claim/live_deploy/readiness_witness_test.dag witness_transport_get_prob
dag/test/claim/long/dag_compile_clean_perturb_corpus_witness_test.dag perturb_cross_tree_import_corpus_green_holds 78131 30550328673 srv_fleet_arm64 wall
dag/test/claim/long/dag_compile_clean_perturb_corpus_witness_test.dag perturb_dag_shell_primary_corpus_green_holds 70281 30550328673 srv_fleet_arm64 wall
dag/test/claim/machine_shape_catalog_integration_witness_test.dag w_cpu_cache_levels_integrated_into_memory_shape 1 30550328673 srv_fleet_arm64 wall
dag/test/claim/machine_shape_construction_wall_test.dag gate_green_synthetic_shape_from_catalog_call 1 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/machine_shape_construction_wall_test.dag gate_green_synthetic_shape_from_catalog_call 1 30550328673 srv_fleet_arm64 wall
dag/test/claim/machine_shape_witness_test.dag catalog_derivation_matches_row 1 30550328673 srv_fleet_arm64 wall
dag/test/claim/machine_shape_witness_test.dag gpu_sm_cache_absent_when_ungranted 1 30550328673 srv_fleet_arm64 wall
dag/test/claim/markdown_markup_xss_witness_test.dag witness_data_image_reject_discriminates_from_char_escape 1 30550328673 srv_fleet_arm64 wall
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
module test.claim.machine_shape_construction_wall
module v2.test.claim.machine_shape_construction_wall

import std.occurrence_identity { OccurrenceSynthetic }
import v2.lens.machine_shape { machine_shape_compile_gate }
Expand Down Expand Up @@ -87,4 +87,3 @@ test fn gate_red_synthetic_machine_shape_call() -> Bool {
test fn gate_green_synthetic_shape_from_catalog_call() -> Bool {
gate_accepts(o: machine_shape_compile_gate(node: shape_from_catalog_call_fixture()))
}

Loading