/usr/bin/time: cannot run /home/alain/Surelog/SVIncCompil/Testcases/../SVIncCompil/dist/surelog/surelog: No such file or directory
Command exited with non-zero status 127
0.00user 0.00system 0:00.00elapsed ?%CPU (0avgtext+0avgdata 1116maxresident)k
0inputs+8outputs (0major+27minor)pagefaults 0swaps