A
lgorithmique
N
umérique
D
istribuée
Private GIT Repository
projects
/
loba.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add option -G, to exit on detection of global convergence.
[loba.git]
/
Experimentations
/
run-all
diff --git
a/Experimentations/run-all
b/Experimentations/run-all
index 581ee1f811b5d11941e9fe34cb6ffbb6d88cd95b..95d70b1ec8d0f955540455c66392a06a07a2c5ee 100755
(executable)
--- a/
Experimentations/run-all
+++ b/
Experimentations/run-all
@@
-70,7
+70,6
@@
variable_check DEADLINE
: ${LOBA:=$PWD/loba}
COMMON_OPTS=(
- --cfg=contexts/factory:raw
"${MORE_ARGS[@]}"
)