mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
11 lines
470 B
Bash
Executable File
11 lines
470 B
Bash
Executable File
#!/bin/sh
|
|
|
|
sed -i -e "s/Timeout, [^,]*,/Timeout, 30,/g" \
|
|
-e "s/Timeout, [^,]*$/Timeout, 30/g" \
|
|
-e "s/Unknown: \"Unknown\", [^,]*,/Unknown: \"Unknown\", 30,/g" \
|
|
-e "s/Unknown: \"Unknown\", [^,]*$/Unknown: \"Unknown\", 30/g" \
|
|
-e "s/InternalFailure, [^,]*,/InternalFailure, 30,/g" \
|
|
-e "s/InternalFailure, [^,]*$/InternalFailure, 30/g" \
|
|
-e "s/HighFailure, [^,]*,/HighFailure, 30,/g" \
|
|
-e "s/HighFailure, [^,]*$/HighFailure, 30/g" \
|
|
"$@" |