make.proto « complex « 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/complex/make.proto

blob: 8870f3118374b9e4f40fad1cd6eac7cc81737b61 (plain)

1 2	`target: complex_mat measures: [[c1_time, c1]]`