diff options
| author | Hugo Herbelin | 2019-12-02 23:58:37 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2019-12-02 23:58:37 +0100 |
| commit | 79bbca336a226693770e37db3a8f05b2819acb5c (patch) | |
| tree | 3176bade3bc32623fa1c0c264de88e67036620ac | |
| parent | 758df7b36d53644b9897b3594e03b5b7b730974c (diff) | |
| parent | 95fb2cef5e52a454dcbd91d36f524b8e91a36116 (diff) | |
Merge PR #11198: Display more information when complexity tests fail
Reviewed-by: gares
Reviewed-by: herbelin
| -rw-r--r-- | test-suite/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 1744138d29..609a61226b 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -543,13 +543,15 @@ $(addsuffix .log,$(wildcard complexity/*.v)): %.v.log: %.v $(PREREQUISITELOG) res=`echo "$$res"00 | sed -n -e "s/\([0-9]*\)\.\([0-9][0-9]\).*/\1\2/p"`; \ true "find expected time * 100"; \ exp=`sed -n -e "s/(\*.*Expected time < \([0-9]\).\([0-9][0-9]\)s.*\*)/\1\2/p" "$<"`; \ + true "compute corrected effective time, rounded up"; \ + rescorrected=`expr \( $$res \* $(bogomips) \+ 6120 \- 1 \) \/ 6120`; \ ok=`expr \( $$res \* $(bogomips) \) "<" \( $$exp \* 6120 \)`; \ if [ "$$ok" = 1 ]; then \ echo $(log_success); \ echo " $<...Ok"; \ else \ echo $(log_failure); \ - echo " $<...Error! (should run faster)"; \ + echo " $<...Error! (should run faster ($$rescorrected >= $$exp))"; \ $(FAIL); \ fi; \ fi; \ |