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: 4c3eb019d402fda870200a0a847a433bbc684413 (plain)

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