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: 337751bb7c18cf0d8aab5b8d9da4fe3a41bba170 (plain)

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