make.proto « binary_search « monniaux « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/monniaux/binary_search/make.proto

blob: c5c39a6bc2d78dd600c7ec1536dff6fe319a0920 (plain)

1 2	`target: binary_search measures: ["random fill", "search1"]`