ADd builtin/codegen tests to suite

xrchz · xrchz · commit 8b6619491f53 · 2026-03-01T07:08:25.000Z
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_abi_decodeScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_abi_decodeScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_abi_decode[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_abi_decode", "../vyper-test-exports/functional/builtins/codegen/test_abi_decode.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_abi_encodeScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_abi_encodeScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_abi_encode[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_abi_encode", "../vyper-test-exports/functional/builtins/codegen/test_abi_encode.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_addmodScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_addmodScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_addmod[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_addmod", "../vyper-test-exports/functional/builtins/codegen/test_addmod.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_as_wei_valueScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_as_wei_valueScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_as_wei_value[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_as_wei_value", "../vyper-test-exports/functional/builtins/codegen/test_as_wei_value.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_bitwiseScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_bitwiseScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_bitwise[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_bitwise", "../vyper-test-exports/functional/builtins/codegen/test_bitwise.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_blobhashScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_blobhashScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_blobhash[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_blobhash", "../vyper-test-exports/functional/builtins/codegen/test_blobhash.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_ceilScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_ceilScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_ceil[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_ceil", "../vyper-test-exports/functional/builtins/codegen/test_ceil.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_concatScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_concatScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_concat[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_concat", "../vyper-test-exports/functional/builtins/codegen/test_concat.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_convertScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_convertScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_convert[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_convert", "../vyper-test-exports/functional/builtins/codegen/test_convert.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_create_functionsScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_create_functionsScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_create_functions[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_create_functions", "../vyper-test-exports/functional/builtins/codegen/test_create_functions.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_ecScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_ecScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_ec[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_ec", "../vyper-test-exports/functional/builtins/codegen/test_ec.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_ecrecoverScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_ecrecoverScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_ecrecover[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_ecrecover", "../vyper-test-exports/functional/builtins/codegen/test_ecrecover.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_emptyScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_emptyScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_empty[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_empty", "../vyper-test-exports/functional/builtins/codegen/test_empty.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_extract32Script.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_extract32Script.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_extract32[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_extract32", "../vyper-test-exports/functional/builtins/codegen/test_extract32.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_floorScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_floorScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_floor[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_floor", "../vyper-test-exports/functional/builtins/codegen/test_floor.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_is_contractScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_is_contractScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_is_contract[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_is_contract", "../vyper-test-exports/functional/builtins/codegen/test_is_contract.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_keccak256Script.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_keccak256Script.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_keccak256[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_keccak256", "../vyper-test-exports/functional/builtins/codegen/test_keccak256.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_lengthScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_lengthScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_length[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_length", "../vyper-test-exports/functional/builtins/codegen/test_length.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_method_idScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_method_idScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_method_id[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_method_id", "../vyper-test-exports/functional/builtins/codegen/test_method_id.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_minmaxScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_minmaxScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_minmax[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_minmax", "../vyper-test-exports/functional/builtins/codegen/test_minmax.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_minmax_valueScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_minmax_valueScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_minmax_value[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_minmax_value", "../vyper-test-exports/functional/builtins/codegen/test_minmax_value.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_mulmodScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_mulmodScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_mulmod[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_mulmod", "../vyper-test-exports/functional/builtins/codegen/test_mulmod.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_raw_callScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_raw_callScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_raw_call[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_raw_call", "../vyper-test-exports/functional/builtins/codegen/test_raw_call.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_sendScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_sendScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_send[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_send", "../vyper-test-exports/functional/builtins/codegen/test_send.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_sha256Script.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_sha256Script.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_sha256[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_sha256", "../vyper-test-exports/functional/builtins/codegen/test_sha256.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_sliceScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_sliceScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_slice[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_slice", "../vyper-test-exports/functional/builtins/codegen/test_slice.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_uint2strScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_uint2strScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_uint2str[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_uint2str", "../vyper-test-exports/functional/builtins/codegen/test_uint2str.json");
diff --git a/tests/generated/vyperTestDefs_functional_builtins_codegen_test_unaryScript.sml b/tests/generated/vyperTestDefs_functional_builtins_codegen_test_unaryScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_builtins_codegen_test_unary[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_builtins_codegen_test_unary", "../vyper-test-exports/functional/builtins/codegen/test_unary.json");
diff --git a/tests/generated/vyperTestDefs_functional_codegen_features_test_palloca_loop_param_initScript.sml b/tests/generated/vyperTestDefs_functional_codegen_features_test_palloca_loop_param_initScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_codegen_features_test_palloca_loop_param_init[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_codegen_features_test_palloca_loop_param_init", "../vyper-test-exports/functional/codegen/features/test_palloca_loop_param_init.json");
diff --git a/tests/generated/vyperTestDefs_functional_codegen_types_numbers_test_numeric_literals_underscoresScript.sml b/tests/generated/vyperTestDefs_functional_codegen_types_numbers_test_numeric_literals_underscoresScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTestDefs_functional_codegen_types_numbers_test_numeric_literals_underscores[no_sig_docs]
+Ancestors jsonToVyper
+Libs vyperTestLib
+val () = make_definitions_for_file ("functional_codegen_types_numbers_test_numeric_literals_underscores", "../vyper-test-exports/functional/codegen/types/numbers/test_numeric_literals_underscores.json");
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_abi_decodeScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_abi_decodeScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_abi_decode[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_abi_decode
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_abi_decode";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_abi_encodeScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_abi_encodeScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_abi_encode[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_abi_encode
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_abi_encode";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_addmodScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_addmodScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_addmod[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_addmod
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_addmod";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_as_wei_valueScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_as_wei_valueScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_as_wei_value[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_as_wei_value
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_as_wei_value";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_bitwiseScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_bitwiseScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_bitwise[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_bitwise
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_bitwise";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_blobhashScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_blobhashScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_blobhash[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_blobhash
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_blobhash";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_ceilScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_ceilScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_ceil[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_ceil
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_ceil";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_concatScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_concatScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_concat[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_concat
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_concat";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_convertScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_convertScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_convert[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_convert
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_convert";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_create_functionsScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_create_functionsScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_create_functions[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_create_functions
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_create_functions";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_ecScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_ecScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_ec[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_ec
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_ec";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_ecrecoverScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_ecrecoverScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_ecrecover[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_ecrecover
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_ecrecover";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_emptyScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_emptyScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_empty[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_empty
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_empty";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_extract32Script.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_extract32Script.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_extract32[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_extract32
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_extract32";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_floorScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_floorScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_floor[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_floor
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_floor";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_is_contractScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_is_contractScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_is_contract[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_is_contract
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_is_contract";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_keccak256Script.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_keccak256Script.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_keccak256[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_keccak256
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_keccak256";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_lengthScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_lengthScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_length[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_length
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_length";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_method_idScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_method_idScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_method_id[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_method_id
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_method_id";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_minmaxScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_minmaxScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_minmax[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_minmax
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_minmax";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_minmax_valueScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_minmax_valueScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_minmax_value[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_minmax_value
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_minmax_value";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_mulmodScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_mulmodScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_mulmod[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_mulmod
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_mulmod";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_raw_callScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_raw_callScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_raw_call[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_raw_call
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_raw_call";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_sendScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_sendScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_send[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_send
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_send";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_sha256Script.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_sha256Script.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_sha256[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_sha256
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_sha256";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_sliceScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_sliceScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_slice[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_slice
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_slice";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_uint2strScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_uint2strScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_uint2str[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_uint2str
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_uint2str";
diff --git a/tests/generated/vyperTest_functional_builtins_codegen_test_unaryScript.sml b/tests/generated/vyperTest_functional_builtins_codegen_test_unaryScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_builtins_codegen_test_unary[no_sig_docs]
+Ancestors vyperTestDefs_functional_builtins_codegen_test_unary
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_builtins_codegen_test_unary";
diff --git a/tests/generated/vyperTest_functional_codegen_features_test_palloca_loop_param_initScript.sml b/tests/generated/vyperTest_functional_codegen_features_test_palloca_loop_param_initScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_codegen_features_test_palloca_loop_param_init[no_sig_docs]
+Ancestors vyperTestDefs_functional_codegen_features_test_palloca_loop_param_init
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_codegen_features_test_palloca_loop_param_init";
diff --git a/tests/generated/vyperTest_functional_codegen_types_numbers_test_numeric_literals_underscoresScript.sml b/tests/generated/vyperTest_functional_codegen_types_numbers_test_numeric_literals_underscoresScript.sml
@@ -0,0 +1,4 @@
+Theory vyperTest_functional_codegen_types_numbers_test_numeric_literals_underscores[no_sig_docs]
+Ancestors vyperTestDefs_functional_codegen_types_numbers_test_numeric_literals_underscores
+Libs vyperTestRunnerLib
+val () = List.app run_test_on_traces $ all_traces "vyperTestDefs_functional_codegen_types_numbers_test_numeric_literals_underscores";
diff --git a/tests/vyperTestLib.sml b/tests/vyperTestLib.sml
@@ -272,7 +272,8 @@ fun check_generate_dirs () = (
 
 (* Directory-level allowlist plus small explicit allowlist. *)
 val allowed_test_prefixes = [
-  "vyper-test-exports/functional/codegen/"
+  "vyper-test-exports/functional/codegen/",
+  "vyper-test-exports/functional/builtins/codegen/"
 ]
 
 val allowed_test_patterns = [
