diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 23:24:45 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 23:24:45 +0200 |
| commit | 1aa0d92ddba4e017f1b8f9aebc1757a8ad77c0eb (patch) | |
| tree | b4a6f2f3ce73243b08f9a0c76978b918a2a0f79f /test/monniaux/complex | |
| parent | 3aa45f72a8c8b33087fddab070a069adc5487244 (diff) | |
| download | compcert-kvx-1aa0d92ddba4e017f1b8f9aebc1757a8ad77c0eb.tar.gz compcert-kvx-1aa0d92ddba4e017f1b8f9aebc1757a8ad77c0eb.zip | |
take other measurements
Diffstat (limited to 'test/monniaux/complex')
| -rw-r--r-- | test/monniaux/complex/make.proto | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/complex/make.proto b/test/monniaux/complex/make.proto index 8870f311..4c3eb019 100644 --- a/test/monniaux/complex/make.proto +++ b/test/monniaux/complex/make.proto @@ -1,2 +1,2 @@ target: complex_mat -measures: [[c1_time, c1]] +measures: [[c1_time, c1],[c9_time, c9]] |